projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 400f366) | patch
add copy of bpermd proof to logical formal proof (not nice but hey)
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 24 May 2020 18:20:18 +0000 (19:20 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 24 May 2020 18:20:18 +0000 (19:20 +0100)
commit2d0d5fb047fb6d88ec24c2cca695332c76d35fc1
treeee8fe38e38cc4ca27979f680eea97101f6bea7fctree
parent400f36634865d60a2c8815bef98cded33858d58dcommit | diff
add copy of bpermd proof to logical formal proof (not nice but hey)
src/soc/fu/logical/formal/proof_main_stage.py diff | blob | history