move unused directory out of src, to indicate "ignore completely"
[soc.git] / src / soc / fu / alu / formal /
drwxr-xr-x   ..
-rw-r--r-- 4 .gitignore
-rw-r--r-- 0 __init__.py
-rw-r--r-- 2208 proof_input_stage.py
-rw-r--r-- 5286 proof_main_stage.py
-rw-r--r-- 3881 proof_output_stage.py