projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8cb4de0) | patch
set bigendian=1 in formal proofs of decoder (TODO: bigendian=0)
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 21 Mar 2020 19:02:18 +0000 (19:02 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 21 Mar 2020 19:02:18 +0000 (19:02 +0000)
commit33d729aeb5198d833a0783a18dda8a38b28a2c61
tree41235ad57b42baea81e143c7df0c01d3eae1d457tree
parent8cb4de0e93ae680dbc1b94d165ebe22e1b0e8015commit | diff
set bigendian=1 in formal proofs of decoder (TODO: bigendian=0)
src/soc/decoder/formal/proof_decoder.py diff | blob | history
src/soc/decoder/formal/proof_decoder2.py diff | blob | history