projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07fd5bf) | patch
Reorganize code layout
authorSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 24 Jul 2020 23:19:17 +0000 (16:19 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 24 Jul 2020 23:19:17 +0000 (16:19 -0700)
commitbcc9a54b8c83f547c062895c95558cf2a4a0fb8c
treefe5bcf11e2273ee809cc634f9e217c545421153etree
parent07fd5bf7bab87056f705cc58cbfb316157811551commit | diff
Reorganize code layout

Make proof code match corresponding code in main_stage.  I am constantly
getting confused about what to work on next.  Purely a cosmetic change,
but has impact on cognitive load for me.
src/soc/fu/trap/formal/proof_main_stage.py diff | blob | history