projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Whitespace
[soc.git]
/
src
/
soc
/
fu
/
compunits
/
formal
/
proof_fu.py
2020-12-06
Cesar Strauss
Whitespace
blob
|
commitdiff
|
raw
2020-12-06
Cesar Strauss
Update GTKWave documents to work with latest cxxsim
blob
|
commitdiff
|
raw
|
diff to current
2020-12-05
Cesar Strauss
Write a GTKWave document to investigate why the proof...
blob
|
commitdiff
|
raw
|
diff to current
2020-12-05
Cesar Strauss
Use the DummyALU regspec and its corresponding OpSubset
blob
|
commitdiff
|
raw
|
diff to current
2020-11-28
Cesar Strauss
Fix signal names: go/rel -> go_i/rel_o
blob
|
commitdiff
|
raw
|
diff to current
2020-06-04
Luke Kenneth Casso...
use copy of FHDLTestCase
blob
|
commitdiff
|
raw
|
diff to current
2020-05-26
Michael Nolan
Add extras from bottom of the file
blob
|
commitdiff
|
raw
|
diff to current
2020-05-26
Michael Nolan
Rewrite proof to be more in line with what appears...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-26
Luke Kenneth Casso...
whitespace, add commentary
blob
|
commitdiff
|
raw
|
diff to current
2020-05-25
Michael Nolan
Correct polarity of shadow signal
blob
|
commitdiff
|
raw
|
diff to current
2020-05-25
Luke Kenneth Casso...
document shadown inversion
blob
|
commitdiff
|
raw
|
diff to current
2020-05-25
Michael Nolan
Add link to compunit wiki page
blob
|
commitdiff
|
raw
|
diff to current
2020-05-25
Michael Nolan
Correct property numbers, add assertions about busy
blob
|
commitdiff
|
raw
|
diff to current
2020-05-25
Michael Nolan
Add assertions about go_wr and wr_rel
blob
|
commitdiff
|
raw
|
diff to current
2020-05-25
Michael Nolan
Minor cleanup of comments
blob
|
commitdiff
|
raw
|
diff to current
2020-05-25
Michael Nolan
Begin working on proof for compunit/fu
blob
|
commitdiff
|
raw
|
diff to current