projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Allow the formal engine to perform a same-cycle result in the ALU
[soc.git]
/
src
/
soc
/
fu
/
compunits
/
formal
/
2021-09-25
Las Safin
Merge remote-tracking branch 'upstream/master' into pr
tree
|
commitdiff
2021-09-19
Cesar Strauss
Fix rel_o/go_i signal names
tree
|
commitdiff
2021-09-03
Luke Kenneth Casso...
another batch of ready/valid i/o prefix-suffix swaps
tree
|
commitdiff
2021-08-24
Luke Kenneth Casso...
replace data_o with o_data and data_i with i_data as...
tree
|
commitdiff
2021-08-24
Luke Kenneth Casso...
big rename, global/search/replace of ready_o with o_rea...
tree
|
commitdiff
2021-04-23
Luke Kenneth Casso...
move over to from openpower imports
tree
|
commitdiff
2020-12-06
Cesar Strauss
Whitespace
tree
|
commitdiff
2020-12-06
Cesar Strauss
Update GTKWave documents to work with latest cxxsim
tree
|
commitdiff
2020-12-05
Cesar Strauss
Write a GTKWave document to investigate why the proof...
tree
|
commitdiff
2020-12-05
Cesar Strauss
Use the DummyALU regspec and its corresponding OpSubset
tree
|
commitdiff
2020-11-28
Cesar Strauss
Fix signal names: go/rel -> go_i/rel_o
tree
|
commitdiff
2020-07-29
Jacob Lifshay
add __init__.py to all source directories
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
rename InternalOp to MicrOp
tree
|
commitdiff
2020-06-04
Luke Kenneth Casso...
use copy of FHDLTestCase
tree
|
commitdiff
2020-05-26
Michael Nolan
Add extras from bottom of the file
tree
|
commitdiff
2020-05-26
Michael Nolan
Rewrite proof to be more in line with what appears...
tree
|
commitdiff
2020-05-26
Luke Kenneth Casso...
whitespace, add commentary
tree
|
commitdiff
2020-05-25
Michael Nolan
Correct polarity of shadow signal
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
document shadown inversion
tree
|
commitdiff
2020-05-25
Michael Nolan
Add link to compunit wiki page
tree
|
commitdiff
2020-05-25
Michael Nolan
Correct property numbers, add assertions about busy
tree
|
commitdiff
2020-05-25
Michael Nolan
Add assertions about go_wr and wr_rel
tree
|
commitdiff
2020-05-25
Michael Nolan
Minor cleanup of comments
tree
|
commitdiff
2020-05-25
Michael Nolan
Begin working on proof for compunit/fu
tree
|
commitdiff