projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
convert mul test to use Power Decode subset
[soc.git]
/
src
/
soc
/
decoder
/
formal
/
proof_decoder2.py
2020-08-24
Cole Poirier
Merge branch 'master' of git.libre-soc.org:soc
blob
|
commitdiff
|
raw
2020-08-22
Luke Kenneth Casso...
rename invert_a to invert_in because logical inverts RB
blob
|
commitdiff
|
raw
2020-07-12
Luke Kenneth Casso...
rename InternalOp to MicrOp
blob
|
commitdiff
|
raw
|
diff to current
2020-07-08
Jacob Lifshay
Merge branch 'master' of ssh://git.libre-riscv.org...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-04
Luke Kenneth Casso...
whitespace
blob
|
commitdiff
|
raw
|
diff to current
2020-06-04
Luke Kenneth Casso...
use copy of FHDLTestCase
blob
|
commitdiff
|
raw
|
diff to current
2020-03-30
Michael Nolan
Fix tests broken by df295b5
blob
|
commitdiff
|
raw
|
diff to current
2020-03-29
Michael Nolan
Update proof_decoder2 to handle signed immediates
blob
|
commitdiff
|
raw
|
diff to current
2020-03-21
Luke Kenneth Casso...
set bigendian=1 in formal proofs of decoder (TODO:...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-20
Michael Nolan
Fix proof_decoder2
blob
|
commitdiff
|
raw
|
diff to current
2020-03-11
Michael Nolan
Add assertions that instruction fields are correct
blob
|
commitdiff
|
raw
|
diff to current
2020-03-11
Michael Nolan
Add test for remaining bits
blob
|
commitdiff
|
raw
|
diff to current
2020-03-11
Michael Nolan
Add tests for DecodeOut and DecodeRC
blob
|
commitdiff
|
raw
|
diff to current
2020-03-10
Michael Nolan
Add cases for DecodeB and DecodeC
blob
|
commitdiff
|
raw
|
diff to current
2020-03-10
Michael Nolan
Refactor DecodeA test
blob
|
commitdiff
|
raw
|
diff to current
2020-03-10
Michael Nolan
Add proof for power_decoder2.DecodeA
blob
|
commitdiff
|
raw
|
diff to current
2020-03-09
Michael Nolan
Begin adding proof for decoder2
blob
|
commitdiff
|
raw
|
diff to current