aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.gitignore17
1 files changed, 16 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 930f082..08dbf27 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,16 @@
-/nneq/__pycache__
+/inpla
+*/__pycache__
+/vnncomp2025_benchmarks/
+/fashion_mnist/FashionMNIST/raw
+/fashion_mnist/fashion_mnist_a.onnx
+/fashion_mnist/fashion_mnist_a.onnx.data
+/fashion_mnist/fashion_mnist_b.onnx
+/fashion_mnist/fashion_mnist_b.onnx.data
+/fashion_mnist/script_argmax.fish
+/fashion_mnist/script_epsilon.fish
+/fashion_mnist/script_strict.fish
+/xor/xor_a.onnx
+/xor/xor_a.onnx.data
+/xor/xor_b.onnx
+/xor/xor_b.onnx.data
+/fashion_mnist/FashionMNIST/raw