Complete FV properties for OP_TRAP instructions.
authorSamuel A. Falvo II <kc5tja@arrl.net>
Wed, 22 Jul 2020 06:03:34 +0000 (23:03 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Wed, 22 Jul 2020 06:03:34 +0000 (23:03 -0700)
commit02bc5471e6631b60c7cff4b06ddbef1c1c6c23a1
treedb9aa702a7ad55d35e27168fdfd47c56fe3f2e9c
parent2eca87fd3e9327c584d1dcb943a08cb805379162
Complete FV properties for OP_TRAP instructions.
src/soc/consts.py
src/soc/fu/trap/formal/proof_main_stage.py