Skip to content

Commit ae0f860

Browse files
mldiegomldiego
committed
Delete archcomp files, just point to the RE package from competition
1 parent f637233 commit ae0f860

File tree

136 files changed

+0
-9002
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

136 files changed

+0
-9002
lines changed

‎code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/Specifications.txt‎

Lines changed: 0 additions & 21 deletions
This file was deleted.

‎code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/controller_5_20.mat‎

-15.2 KB
Binary file not shown.

‎code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/controller_5_20.onnx‎

-9.14 KB
Binary file not shown.

‎code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/dynamicsACC.m‎

Lines changed: 0 additions & 21 deletions
This file was deleted.

‎code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/ACC/reach.m‎

Lines changed: 0 additions & 76 deletions
This file was deleted.

‎code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.h5‎

-191 KB
Binary file not shown.

‎code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.mat‎

-107 KB
Binary file not shown.

‎code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.nnet‎

Lines changed: 0 additions & 462 deletions
This file was deleted.

‎code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/controller_airplane.onnx‎

-53.9 KB
Binary file not shown.

‎code/nnv/examples/Submission/ARCH-COMP2024/benchmarks/Airplane/dynamics.m‎

Lines changed: 0 additions & 79 deletions
This file was deleted.

0 commit comments

Comments
 (0)