Skip to content

Actions: viperproject/axiom-profiler-2

Actions

Run evaluation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rebase to rerun Run evaluation #37: Commit 07b37db pushed by JonasAlaif
January 30, 2025 19:40 5h 8m 10s cav-eval
cav-eval
January 30, 2025 19:40 5h 8m 10s
Print stats Run evaluation #36: Commit 0489199 pushed by JonasAlaif
January 28, 2025 20:41 5h 15m 1s cav-eval
cav-eval
January 28, 2025 20:41 5h 15m 1s
Redistribute work and rebase (new ML) Run evaluation #35: Commit e04d76c pushed by JonasAlaif
January 28, 2025 16:16 5h 11m 50s cav-eval
cav-eval
January 28, 2025 16:16 5h 11m 50s
Redistribute work and rebase (new ML) Run evaluation #34: Commit aff4303 pushed by JonasAlaif
January 28, 2025 15:31 22s cav-eval
cav-eval
January 28, 2025 15:31 22s
Redistribute work and rebase Run evaluation #33: Commit 68868d0 pushed by JonasAlaif
January 28, 2025 13:02 5h 16m 57s cav-eval
cav-eval
January 28, 2025 13:02 5h 16m 57s
Fix bug in eval Run evaluation #32: Commit 2e9bef5 pushed by JonasAlaif
January 27, 2025 19:27 5h 48m 2s cav-eval
cav-eval
January 27, 2025 19:27 5h 48m 2s
Update smt-logs and fix mono Run evaluation #31: Commit b4013fd pushed by JonasAlaif
January 27, 2025 09:19 5h 39m 2s cav-eval
cav-eval
January 27, 2025 09:19 5h 39m 2s
Update smt-logs and add time Run evaluation #30: Commit 4775b3e pushed by JonasAlaif
January 27, 2025 00:37 1h 7m 16s cav-eval
cav-eval
January 27, 2025 00:37 1h 7m 16s
Split further Run evaluation #29: Commit e514052 pushed by JonasAlaif
January 14, 2025 22:44 4h 11m 49s cav-eval
cav-eval
January 14, 2025 22:44 4h 11m 49s
Split further Run evaluation #28: Commit fe5b589 pushed by JonasAlaif
January 14, 2025 16:44 4h 37m 52s cav-eval
cav-eval
January 14, 2025 16:44 4h 37m 52s
Split further Run evaluation #27: Commit 90ebe1d pushed by JonasAlaif
January 14, 2025 16:40 5m 12s cav-eval
cav-eval
January 14, 2025 16:40 5m 12s
Split dafny more Run evaluation #26: Commit 79ff76f pushed by JonasAlaif
January 14, 2025 15:18 6h 0m 34s cav-eval
cav-eval
January 14, 2025 15:18 6h 0m 34s
Improve dummy performance Run evaluation #25: Commit a49e951 pushed by JonasAlaif
January 14, 2025 14:42 6h 0m 31s cav-eval
cav-eval
January 14, 2025 14:42 6h 0m 31s
Increase z3 timeout Run evaluation #24: Commit d14eaa9 pushed by JonasAlaif
January 14, 2025 10:12 6h 0m 29s cav-eval
cav-eval
January 14, 2025 10:12 6h 0m 29s
Add dummy parser Run evaluation #23: Commit d67230f pushed by JonasAlaif
January 14, 2025 10:08 6h 0m 22s cav-eval
cav-eval
January 14, 2025 10:08 6h 0m 22s
Sort eval and split, add analysis Run evaluation #22: Commit f717711 pushed by JonasAlaif
January 14, 2025 09:48 6h 0m 25s cav-eval
cav-eval
January 14, 2025 09:48 6h 0m 25s
Sort eval and split, add analysis Run evaluation #21: Commit 9fe2f31 pushed by JonasAlaif
January 14, 2025 08:52 4m 17s cav-eval
cav-eval
January 14, 2025 08:52 4m 17s
Small fixes and reduced verbosity for setup Run evaluation #20: Commit c2d6bdf pushed by JonasAlaif
January 13, 2025 10:26 6h 0m 29s cav-eval
cav-eval
January 13, 2025 10:26 6h 0m 29s
Small fixes and reduced verbosity for setup Run evaluation #19: Commit 99e30b4 pushed by JonasAlaif
January 13, 2025 10:20 2h 49m 23s cav-eval
cav-eval
January 13, 2025 10:20 2h 49m 23s
Small fixes and reduced verbosity for setup Run evaluation #18: Commit 5871506 pushed by JonasAlaif
January 13, 2025 09:32 2h 1m 40s cav-eval
cav-eval
January 13, 2025 09:32 2h 1m 40s
Small fixes and reduced verbosity for setup Run evaluation #17: Commit bc7f2ab pushed by JonasAlaif
January 13, 2025 09:31 2m 10s cav-eval
cav-eval
January 13, 2025 09:31 2m 10s
Small fixes and reduced verbosity for setup Run evaluation #16: Commit b6f4e07 pushed by JonasAlaif
January 13, 2025 09:27 3m 49s cav-eval
cav-eval
January 13, 2025 09:27 3m 49s
Small fixes and reduced verbosity for setup Run evaluation #15: Commit 680544c pushed by JonasAlaif
January 8, 2025 20:26 2h 46m 15s cav-eval
cav-eval
January 8, 2025 20:26 2h 46m 15s
Small fixes and reduced verbosity for setup Run evaluation #14: Commit 710e8e0 pushed by JonasAlaif
January 8, 2025 20:21 5m 39s cav-eval
cav-eval
January 8, 2025 20:21 5m 39s
Add eval Run evaluation #13: Commit 10789f4 pushed by JonasAlaif
January 8, 2025 18:15 6h 5m 9s cav-eval
cav-eval
January 8, 2025 18:15 6h 5m 9s