projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d0d5fb) | patch
comment and add links to branch formal proof
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 24 May 2020 18:30:56 +0000 (19:30 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 24 May 2020 18:30:56 +0000 (19:30 +0100)
commitec0cd34b2e83933e19859986b86af51ccbc98492
tree5b1da82a24ff7d7849fa917530a5d9e05cc25a53tree
parent2d0d5fb047fb6d88ec24c2cca695332c76d35fc1commit | diff
comment and add links to branch formal proof
src/soc/fu/branch/formal/proof_main_stage.py diff | blob | history