projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4586d3f) | patch
speed up shift/rot formal proof by running stuff in parallel
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 22 Feb 2022 09:33:16 +0000 (01:33 -0800)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 22 Feb 2022 09:36:05 +0000 (01:36 -0800)
commit442546d5bffafb8571f50b1a4dc48e83ace1ce47
treeac8e14259c87de63086a4e96100b0c022fc1e6e5tree
parent4586d3fbe87874110d7ca70eaed368237cab8ebdcommit | diff
speed up shift/rot formal proof by running stuff in parallel

it now runs in about 1m30s in `pytest -n auto <file>.py`

also start work on rewriting proofs to hopefully work better, all
of grev, ternlog, extswsli, shl, and shr are completed.
src/soc/fu/shift_rot/formal/proof_main_stage.py diff | blob | history