Formal proof of pseudo 1W/2R SRAM

[soc.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index c2f8d859244302bc978df716ce316f86a7cbf7a2..3478b52cb0cb70cc0f8c1db298f740628cef3894 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,4 +9,10 @@ Waveforms
 *.egg-info
 *.il
 **/*.gtkw
-.eggs
\ No newline at end of file
+.eggs
+formal_test_temp
+.vscode/*
+build
+gen
+.noseids
+nosetests.xml