projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b93696a) | patch
Add formal proof for branch unit, fix bug with bcreg
authorMichael Nolan <mtnolan2640@gmail.com>
Fri, 22 May 2020 18:20:13 +0000 (14:20 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Fri, 22 May 2020 18:21:49 +0000 (14:21 -0400)
commit897123c76b338d42b4d12f923e090e16f3c73f07
tree701fb069ee9c37e65b24cda28efc89f689b74627tree
parentb93696a3da317f8dedba2f46af140881b37d1c48commit | diff
Add formal proof for branch unit, fix bug with bcreg
src/soc/fu/branch/formal/proof_main_stage.py diff | blob | history
src/soc/fu/branch/main_stage.py diff | blob | history