Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / .gitignore
index 8f5d26e3980a78e3a73071a20de8873488dc1b54..916979dfa880dc64cffd5b66439e5c1cf0602c8b 100644 (file)
@@ -1,6 +1,5 @@
 __pycache__
-/Waveforms/**
-**/*/Waveforms
+Waveforms
 *.vcd
 .*.sw?
 *.py?
@@ -9,3 +8,12 @@ __pycache__
 !**/Waveforms/.gitkeep
 *.egg-info
 *.il
+**/*.gtkw
+.eggs
+formal_test_temp
+.vscode/*
+build
+gen
+.noseids
+nosetests.xml
+test-out