projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add test for cmpeqb
[soc.git] / src / soc / decoder / formal /
2020-03-30 Michael NolanFix tests broken by df295b5 tree | commitdiff
2020-03-29 Michael NolanUpdate proof_decoder2 to handle signed immediates tree | commitdiff
2020-03-21 Luke Kenneth Casso... set bigendian=1 in formal proofs of decoder (TODO:... tree | commitdiff
2020-03-20 Michael NolanFix proof_decoder2 tree | commitdiff
2020-03-18 Michael NolanAdd proof that all other opcodes decode to INVALID tree | commitdiff
2020-03-18 Michael NolanAdd more to decoder proof tree | commitdiff
2020-03-18 Michael NolanBegin adding proof for decoder stage 1 tree | commitdiff
2020-03-11 Michael NolanAdd assertions that instruction fields are correct tree | commitdiff
2020-03-11 Michael NolanAdd test for remaining bits tree | commitdiff
2020-03-11 Michael NolanAdd tests for DecodeOut and DecodeRC tree | commitdiff
2020-03-10 Michael NolanAdd cases for DecodeB and DecodeC tree | commitdiff
2020-03-10 Michael NolanRefactor DecodeA test tree | commitdiff
2020-03-10 Michael NolanAdd proof for power_decoder2.DecodeA tree | commitdiff
2020-03-09 Michael NolanBegin adding proof for decoder2 tree | commitdiff