Skip to content

Actions: stanford-centaur/pono

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
246 workflow runs
246 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make make install less verbose CI #469: Commit d348acf pushed by CyanoKobalamyne
January 24, 2025 21:41 20m 4s make-install-condensed
make-install-condensed
January 24, 2025 21:41 20m 4s
Only print COI traversal for verbosity >=4 CI #468: Pull request #363 opened by CyanoKobalamyne
January 24, 2025 21:40 19m 28s coi-verbosity
coi-verbosity
January 24, 2025 21:40 19m 28s
Only print COI traversal for verbosity >=4 CI #467: Commit 9e92650 pushed by CyanoKobalamyne
January 24, 2025 21:39 17m 3s coi-verbosity
coi-verbosity
January 24, 2025 21:39 17m 3s
Format solver enums CI #466: Pull request #362 opened by CyanoKobalamyne
January 24, 2025 21:38 16m 48s format-solver-enums
format-solver-enums
January 24, 2025 21:38 16m 48s
Enum formatting CI #465: Commit 9c768a0 pushed by CyanoKobalamyne
January 24, 2025 21:38 17m 33s format-solver-enums
format-solver-enums
January 24, 2025 21:38 17m 33s
Remove non-compliant characters from symbol names CI #464: Pull request #361 opened by CyanoKobalamyne
January 24, 2025 21:37 18m 3s non-compliant-symbols
non-compliant-symbols
January 24, 2025 21:37 18m 3s
Remove non-compliant characters from symbol names CI #463: Commit c1dee90 pushed by CyanoKobalamyne
January 24, 2025 21:35 16m 58s non-compliant-symbols
non-compliant-symbols
January 24, 2025 21:35 16m 58s
Configurable smt-switch directory CI #462: Pull request #327 synchronize by CyanoKobalamyne
January 24, 2025 21:29 17m 20s smt-switch-dir
smt-switch-dir
January 24, 2025 21:29 17m 20s
Configurable smt-switch directory CI #461: Commit 30f0e28 pushed by CyanoKobalamyne
January 24, 2025 21:29 19m 10s smt-switch-dir
smt-switch-dir
January 24, 2025 21:29 19m 10s
Use next-state suffix when promoting input vars (#360) CI #460: Commit 6e09065 pushed by CyanoKobalamyne
January 21, 2025 00:03 18m 38s main
main
January 21, 2025 00:03 18m 38s
Fix typo in warning message (#359) CI #459: Commit afc15ef pushed by CyanoKobalamyne
January 21, 2025 00:03 17m 2s main
main
January 21, 2025 00:03 17m 2s
IC3IA with cvc5's SyGuS-based predicate generation CI #458: Pull request #357 synchronize by CyanoKobalamyne
January 17, 2025 23:28 10m 26s CyanoKobalamyne:ic3ia-cvc5-pred
CyanoKobalamyne:ic3ia-cvc5-pred
January 17, 2025 23:28 10m 26s
Use next-state suffix when promoting input vars CI #457: Pull request #360 opened by CyanoKobalamyne
January 17, 2025 23:23 16m 58s fix-next-state-suffix
fix-next-state-suffix
January 17, 2025 23:23 16m 58s
Use next-state suffix when generating new vars CI #456: Commit 1dc5907 pushed by CyanoKobalamyne
January 17, 2025 23:23 16m 47s fix-next-state-suffix
fix-next-state-suffix
January 17, 2025 23:23 16m 47s
Fix typo in warning message CI #455: Pull request #359 opened by CyanoKobalamyne
January 17, 2025 23:22 18m 29s warning-typo-pseudo
warning-typo-pseudo
January 17, 2025 23:22 18m 29s
Fix typo in warning message CI #454: Commit 35eaf55 pushed by CyanoKobalamyne
January 17, 2025 23:20 17m 8s warning-typo-pseudo
warning-typo-pseudo
January 17, 2025 23:20 17m 8s
IC3IA with cvc5's SyGuS-based predicate generation CI #453: Pull request #357 synchronize by CyanoKobalamyne
December 9, 2024 20:03 9m 50s CyanoKobalamyne:ic3ia-cvc5-pred
CyanoKobalamyne:ic3ia-cvc5-pred
December 9, 2024 20:03 9m 50s
IC3IA with cvc5's SyGuS-based predicate generation CI #452: Pull request #357 synchronize by CyanoKobalamyne
November 6, 2024 06:50 10m 39s CyanoKobalamyne:ic3ia-cvc5-pred
CyanoKobalamyne:ic3ia-cvc5-pred
November 6, 2024 06:50 10m 39s
Remove cvc5 CI #451: Commit 96da43e pushed by CyanoKobalamyne
October 22, 2024 22:52 1m 33s benchmarking
benchmarking
October 22, 2024 22:52 1m 33s
IC3IA with cvc5's SyGuS-based predicate generation CI #450: Pull request #357 opened by CyanoKobalamyne
October 9, 2024 03:39 9m 51s CyanoKobalamyne:ic3ia-cvc5-pred
CyanoKobalamyne:ic3ia-cvc5-pred
October 9, 2024 03:39 9m 51s
Enable abstraction in bitwuzla CI #449: Commit 0230747 pushed by CyanoKobalamyne
October 8, 2024 20:47 18m 6s benchmarking
benchmarking
October 8, 2024 20:47 18m 6s
Adjust bound and witness when monitor state is added to TS (#356) CI #448: Commit b620e4e pushed by CyanoKobalamyne
October 2, 2024 16:24 20m 8s main
main
October 2, 2024 16:24 20m 8s
Adjust bound and witness when monitor state is added to TS CI #447: Pull request #356 opened by CyanoKobalamyne
September 25, 2024 18:24 16m 45s monitor-witness-fix
monitor-witness-fix
September 25, 2024 18:24 16m 45s
Adjust bound and witness when monitor state is added to TS CI #446: Commit 6855a9f pushed by CyanoKobalamyne
September 25, 2024 18:07 17m 10s monitor-witness-fix
monitor-witness-fix
September 25, 2024 18:07 17m 10s
Update CI workflow to make use of new testing target Python Wheels #30: Commit 5cbcaa0 pushed by CyanoKobalamyne
September 16, 2024 09:27 14s hwmcc24
hwmcc24
September 16, 2024 09:27 14s