Skip to content

Actions: viperproject/smt-logs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix carbon boogie issue Make .smt2 files #74: Commit 2041ff4 pushed by JonasAlaif
January 27, 2025 01:41 3h 18m 54s main
main
January 27, 2025 01:41 3h 18m 54s
Debug Make .smt2 files #73: Commit 0d8ca87 pushed by JonasAlaif
January 27, 2025 01:18 6h 0m 13s main
main
January 27, 2025 01:18 6h 0m 13s
Debug Make .smt2 files #72: Commit 517e746 pushed by JonasAlaif
January 27, 2025 00:54 23m 57s main
main
January 27, 2025 00:54 23m 57s
Emit debug info (qid) for dafny Make .smt2 files #71: Commit 590b5f7 pushed by JonasAlaif
January 26, 2025 21:54 2h 30m 35s main
main
January 26, 2025 21:54 2h 30m 35s
Add sbt (missing from ubuntu 24 image) Make .smt2 files #70: Commit ab63197 pushed by JonasAlaif
January 26, 2025 21:13 2h 29m 44s main
main
January 26, 2025 21:13 2h 29m 44s
Add sbt (missing from ubuntu 24 image) Make .smt2 files #69: Commit a55ff32 pushed by JonasAlaif
January 26, 2025 21:12 38s main
main
January 26, 2025 21:12 38s
Update url for smt-comp Make .smt2 files #68: Commit 77c60c8 pushed by JonasAlaif
January 26, 2025 19:06 1h 58m 46s main
main
January 26, 2025 19:06 1h 58m 46s
Fix dafny build Make .smt2 files #67: Commit 3e4ec71 pushed by JonasAlaif
January 26, 2025 18:58 2m 13s main
main
January 26, 2025 18:58 2m 13s
Add more config Make .smt2 files #66: Commit db25dde pushed by JonasAlaif
January 23, 2025 21:29 1h 14m 1s main
main
January 23, 2025 21:29 1h 14m 1s
Add fstar doc Make .smt2 files #65: Commit be97b74 pushed by JonasAlaif
January 13, 2025 15:17 3h 20m 4s main
main
January 13, 2025 15:17 3h 20m 4s
Make z3 runner timeout and memory configurable Make .smt2 files #64: Commit 54cc9c0 pushed by JonasAlaif
January 13, 2025 10:17 3h 15m 5s main
main
January 13, 2025 10:17 3h 15m 5s
Fix silicon .smt2 file names Make .smt2 files #63: Commit 3494f54 pushed by JonasAlaif
January 8, 2025 18:54 3h 21m 9s main
main
January 8, 2025 18:54 3h 21m 9s
Properly delete old files when generating logs, improve z3 scripts Make .smt2 files #62: Commit f61db2c pushed by JonasAlaif
January 7, 2025 11:22 3h 19m 10s main
main
January 7, 2025 11:22 3h 19m 10s
Properly delete old files when generating logs, improve z3 scripts Make .smt2 files #61: Commit 33ff703 pushed by JonasAlaif
January 7, 2025 11:06 15m 36s main
main
January 7, 2025 11:06 15m 36s
Properly delete old files when generating logs, improve z3 scripts Make .smt2 files #60: Commit f7ad587 pushed by JonasAlaif
January 7, 2025 11:02 5m 10s main
main
January 7, 2025 11:02 5m 10s
Add smt-comp Make .smt2 files #59: Commit 68606cb pushed by JonasAlaif
January 3, 2025 22:13 3h 14m 12s main
main
January 3, 2025 22:13 3h 14m 12s
Disable Dafny name normalise Make .smt2 files #58: Commit 34fd0ce pushed by JonasAlaif
December 29, 2024 17:48 3h 9m 16s main
main
December 29, 2024 17:48 3h 9m 16s
Verus error handling Make .smt2 files #57: Commit 381e647 pushed by JonasAlaif
December 29, 2024 15:52 11m 7s main
main
December 29, 2024 15:52 11m 7s
Verus error handling Make .smt2 files #56: Commit 9b03436 pushed by JonasAlaif
December 29, 2024 15:48 11m 28s main
main
December 29, 2024 15:48 11m 28s
Verus error handling Make .smt2 files #55: Commit 893cdbd pushed by JonasAlaif
December 29, 2024 15:19 30m 0s main
main
December 29, 2024 15:19 30m 0s
Verus error handling Make .smt2 files #54: Commit 194beb5 pushed by JonasAlaif
December 29, 2024 15:11 6m 34s main
main
December 29, 2024 15:11 6m 34s
Add verus Make .smt2 files #53: Commit 2e04489 pushed by JonasAlaif
December 29, 2024 14:40 6m 17s main
main
December 29, 2024 14:40 6m 17s
Build fstar examples as well Make .smt2 files #52: Commit ff891aa pushed by JonasAlaif
December 29, 2024 12:59 2h 51m 5s main
main
December 29, 2024 12:59 2h 51m 5s
Also run fstar tests which are symlinks Make .smt2 files #51: Commit f4c6a8a pushed by JonasAlaif
December 27, 2024 08:25 2h 34m 53s main
main
December 27, 2024 08:25 2h 34m 53s
Use fstar makefiles to run test instead Make .smt2 files #50: Commit a763fb2 pushed by JonasAlaif
December 27, 2024 00:13 2h 38m 15s main
main
December 27, 2024 00:13 2h 38m 15s