add grev
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 18 Feb 2022 06:01:41 +0000 (22:01 -0800)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 18 Feb 2022 06:01:41 +0000 (22:01 -0800)
commit66620a91bac731f6745fa33a7fe122b0aa7d3485
tree36d5c6cd9220fa8919186618a0c1a3ab7475a528
parent2e3b1eaed4122461c936f923c8c91b73d7848819
add grev
src/soc/fu/shift_rot/formal/proof_main_stage.py
src/soc/fu/shift_rot/main_stage.py