projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Update GTKWave documents to work with latest cxxsim
[soc.git]
/
src
/
soc
/
fu
/
compunits
/
formal
/
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