From 81d4d604aa43660b732b3538734a52d509d7c5df Mon Sep 17 00:00:00 2001 From: ericmarin Date: Tue, 31 Mar 2026 16:43:47 +0200 Subject: refactored examples --- .gitignore | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 9fa256b..fd38b1c 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,5 @@ /inpla -*/__pycache__ -/vnncomp2025_benchmarks/ +/__pycache__/ /examples/fashion_mnist/FashionMNIST/raw /examples/fashion_mnist/fashion_mnist_a.onnx /examples/fashion_mnist/fashion_mnist_a.onnx.data @@ -15,3 +14,10 @@ /examples/xor/xor_b.onnx.data /examples/fashion_mnist/FashionMNIST/raw /notes.norg +/examples/ACASXU/script_argmax.fish +/examples/ACASXU/script_epsilon.fish +/examples/ACASXU/script_strict.fish +/examples/iris/iris_b.onnx +/examples/iris/iris_b.onnx.data +/examples/iris/iris_a.onnx.data +/examples/iris/iris_a.onnx -- cgit v1.2.3