Skip to content

Actions: samysweb/VeryDiff

Actions

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated ONNX Parser Run tests #23: Pull request #1 synchronize by samysweb
17m 19s feat/nn-loader
feat/nn-loader
17m 19s
Updated ONNX Parser Run tests #22: Pull request #1 synchronize by samysweb
15m 31s feat/nn-loader
feat/nn-loader
15m 31s
Updated ONNX Parser Run tests #21: Pull request #1 opened by samysweb
3m 51s feat/nn-loader
feat/nn-loader
3m 51s
generalization for input splitting proof Run tests #20: Commit 3d3b35c pushed by samysweb
6m 29s multi-generator
multi-generator
6m 29s
Formalization of DoublyPerturbedZonotopes Run tests #19: Commit a2adb78 pushed by samysweb
12m 54s multi-generator
multi-generator
12m 54s
Fix Run tests #18: Commit 7095f6e pushed by samysweb
12m 29s dev
dev
12m 29s
Minor changes Run tests #17: Commit 33001b1 pushed by samysweb
8m 26s multi-generator
multi-generator
8m 26s
Fixed cex assert Run tests #16: Commit e22a249 pushed by samysweb
12m 6s multi-generator
multi-generator
12m 6s
Fixed missing global config variables Run tests #15: Commit bb91cef pushed by samysweb
4m 33s multi-generator
multi-generator
4m 33s
Cleanup comments Run tests #14: Commit 54f47de pushed by samysweb
5m 13s multi-generator
multi-generator
5m 13s
Efficiency optimizations Run tests #13: Commit ba03fb7 pushed by samysweb
6m 21s multi-generator
multi-generator
6m 21s
It seems scaling with bounds range (deepsplit style) seems to yield b… Run tests #12: Commit 0b28492 pushed by samysweb
11m 9s multi-generator
multi-generator
11m 9s
Some more tests for epsilon equivalence Run tests #11: Commit d3aae3d pushed by samysweb
6m 7s multi-generator
multi-generator
6m 7s
Fixed location of use gruobi variable Run tests #10: Commit 4eed7f8 pushed by samysweb
9m 43s multi-generator
multi-generator
9m 43s
Updated epsilon equivalence check Run tests #9: Commit 24da934 pushed by samysweb
9m 15s multi-generator
multi-generator
9m 15s
Removed outdated flag in runtests Run tests #8: Commit aa6335c pushed by samysweb
13m 0s multi-generator
multi-generator
13m 0s
Run tests in CI (try 6) Run tests #7: Commit e9f1301 pushed by samysweb
8m 38s multi-generator
multi-generator
8m 38s
Fixed revision Run tests #6: Commit d1fb740 pushed by samysweb
10m 58s multi-generator
multi-generator
10m 58s
Run tests in CI (try 5) Run tests #5: Commit 1e31b18 pushed by samysweb
9m 32s multi-generator
multi-generator
9m 32s
Run tests in CI (try 4) Run tests #4: Commit bcde260 pushed by samysweb
8m 56s multi-generator
multi-generator
8m 56s
Run tests in CI (try 3) Run tests #3: Commit 227af57 pushed by samysweb
1m 20s multi-generator
multi-generator
1m 20s
Run tests in CI (try 2) Run tests #2: Commit 23e7322 pushed by samysweb
9m 32s multi-generator
multi-generator
9m 32s
Run tests in CI (try 1) Run tests #1: Commit 13071b6 pushed by samysweb
58s multi-generator
multi-generator
58s