Skip to content

Actions: stanford-centaur/pono

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
630 workflow runs
630 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upload static binary as artifact (#444) CI #892: Commit 07b3161 pushed by CyanoKobalamyne
August 25, 2025 21:32 26m 23s main
main
August 25, 2025 21:32 26m 23s
Upload static binary as artifact (#444) Docker #54: Commit 07b3161 pushed by CyanoKobalamyne
August 25, 2025 21:32 26m 56s main
main
August 25, 2025 21:32 26m 56s
Clean up witnesses at exit and store them as pathlib.Path CI #891: Commit 26f1feb pushed by CyanoKobalamyne
August 25, 2025 21:28 26m 31s update-portfolio-script
update-portfolio-script
August 25, 2025 21:28 26m 31s
Merge branch 'main' into upload-binary CI #890: Commit 3cc5b0a pushed by CyanoKobalamyne
August 25, 2025 20:56 22m 57s upload-binary
upload-binary
August 25, 2025 20:56 22m 57s
Allow interp-based engines to run in Cegar-Ops-Uf tests even if MathS… CI #889: Commit 151fe93 pushed by Po-Chun-Chien
August 25, 2025 18:06 25m 47s bzla-interpolation
bzla-interpolation
August 25, 2025 18:06 25m 47s
Add tests for CEX computation and the correctness of invariant in Ceg… Docker #53: Commit b3603ba pushed by Po-Chun-Chien
August 23, 2025 14:44 18m 51s main
main
August 23, 2025 14:44 18m 51s
Add tests for CEX computation and the correctness of invariant in Ceg… CI #888: Commit b3603ba pushed by Po-Chun-Chien
August 23, 2025 14:44 20m 48s main
main
August 23, 2025 14:44 20m 48s
Write witnesses to temporary files CI #887: Commit 2a52eb8 pushed by CyanoKobalamyne
August 22, 2025 14:50 22m 37s update-portfolio-script
update-portfolio-script
August 22, 2025 14:50 22m 37s
Use shutil.which to find executable CI #886: Commit ee186b7 pushed by CyanoKobalamyne
August 21, 2025 21:53 21m 35s update-portfolio-script
update-portfolio-script
August 21, 2025 21:53 21m 35s
Simplify and reorganize parallel portfolio script CI #885: Commit c79669e pushed by CyanoKobalamyne
August 21, 2025 21:27 20m 53s update-portfolio-script
update-portfolio-script
August 21, 2025 21:27 20m 53s
Allow interp-based engines to run in Cegar-Ops-Uf tests even if MathS… CI #884: Commit e511a8f pushed by Po-Chun-Chien
August 21, 2025 15:47 19m 28s bzla-interpolation
bzla-interpolation
August 21, 2025 15:47 19m 28s
Merge branch 'main' into cegar-ops-uf-invar-cex-tests CI #883: Commit 4ddbba8 pushed by Po-Chun-Chien
August 21, 2025 11:32 23m 21s cegar-ops-uf-invar-cex-tests
cegar-ops-uf-invar-cex-tests
August 21, 2025 11:32 23m 21s
Build release binary CI #882: Commit 386c8fd pushed by CyanoKobalamyne
August 20, 2025 22:32 24m 22s build-release-binary
build-release-binary
August 20, 2025 22:32 24m 22s
Upload static binary as artifact CI #881: Commit ba128a7 pushed by CyanoKobalamyne
August 20, 2025 22:30 20m 10s upload-binary
upload-binary
August 20, 2025 22:30 20m 10s
Allow ISMC and DAR run in CEGAR BV arith (#440) CI #880: Commit 071ceaf pushed by CyanoKobalamyne
August 20, 2025 16:56 19m 50s main
main
August 20, 2025 16:56 19m 50s
Allow ISMC and DAR run in CEGAR BV arith (#440) Docker #52: Commit 071ceaf pushed by CyanoKobalamyne
August 20, 2025 16:56 18m 49s main
main
August 20, 2025 16:56 18m 49s
Merge branch 'main' into ceg-bv-arith-for-ismc-and-dar CI #879: Commit 24eb328 pushed by CyanoKobalamyne
August 20, 2025 16:19 23m 33s ceg-bv-arith-for-ismc-and-dar
ceg-bv-arith-for-ismc-and-dar
August 20, 2025 16:19 23m 33s
Update to stanford-centaur/smt-switch@d9f898d (#443) CI #878: Commit 1a6f908 pushed by CyanoKobalamyne
August 20, 2025 16:11 20m 56s main
main
August 20, 2025 16:11 20m 56s
Update to stanford-centaur/smt-switch@d9f898d (#443) Docker #51: Commit 1a6f908 pushed by CyanoKobalamyne
August 20, 2025 16:11 3m 2s main
main
August 20, 2025 16:11 3m 2s
Update to stanford-centaur/smt-switch@d9f898d CI #877: Commit c997b57 pushed by CyanoKobalamyne
August 20, 2025 05:53 19m 29s smt-switch-update-20250819
smt-switch-update-20250819
August 20, 2025 05:53 19m 29s
Test violation witness export of Ceg-Ops-Uf CI #876: Commit 28e45f4 pushed by Po-Chun-Chien
August 19, 2025 10:15 26m 23s cegar-ops-uf-invar-cex-tests
cegar-ops-uf-invar-cex-tests
August 19, 2025 10:15 26m 23s
Handle corner case where invar contains ops to abstract CI #875: Commit d8a6eb0 pushed by Po-Chun-Chien
August 19, 2025 10:15 20m 39s cegar-ops-uf-invar-cex-tests
cegar-ops-uf-invar-cex-tests
August 19, 2025 10:15 20m 39s
Check invariants produced by Ceg-Ops-Uf in tests CI #874: Commit 660f5c0 pushed by Po-Chun-Chien
August 19, 2025 10:14 20m 33s cegar-ops-uf-invar-cex-tests
cegar-ops-uf-invar-cex-tests
August 19, 2025 10:14 20m 33s
Test violation witness export of Ceg-BV-Arith CI #873: Commit b12bf96 pushed by Po-Chun-Chien
August 19, 2025 07:52 19m 32s ceg-bv-arith-invar-cex-tests
ceg-bv-arith-invar-cex-tests
August 19, 2025 07:52 19m 32s
Handle corner case where invar contains ops to abstract CI #872: Commit 85d73e5 pushed by Po-Chun-Chien
August 19, 2025 07:48 19m 29s ceg-bv-arith-invar-cex-tests
ceg-bv-arith-invar-cex-tests
August 19, 2025 07:48 19m 29s