Allow the formal engine to perform a same-cycle result in the ALU

[soc.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index c5947d9452fdcc39e647e35bac5c3ab4cfe576db..916979dfa880dc64cffd5b66439e5c1cf0602c8b 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,11 @@ Waveforms
 *.egg-info
 *.il
 **/*.gtkw
+.eggs
+formal_test_temp
+.vscode/*
+build
+gen
+.noseids
+nosetests.xml
+test-out