projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf2c52c) | patch
add links to bugreports into ALu formal proof as well
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 27 May 2020 14:35:09 +0000 (15:35 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 27 May 2020 14:35:09 +0000 (15:35 +0100)
commitdc96e9ce372a68ced5d598eb198704b2f36ed5d0
tree464eea1a048ff3de4d71bd693b0efb4c4caec48btree
parentcf2c52cf3448d7c492a4510c4b45f5286e889f16commit | diff
add links to bugreports into ALu formal proof as well
src/soc/fu/alu/formal/proof_main_stage.py diff | blob | history
src/soc/fu/alu/formal/proof_output_stage.py diff | blob | history