Skip to content

Actions: stanford-centaur/pono

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update CI workflow to make use of new testing target CI #445: Commit 5cbcaa0 pushed by CyanoKobalamyne
September 16, 2024 09:27 18m 45s hwmcc24
hwmcc24
September 16, 2024 09:27 18m 45s
Update CI workflow to make use of new testing target CI #444: Commit 5cbcaa0 pushed by CyanoKobalamyne
September 16, 2024 09:25 18m 29s hwmcc24-dev
hwmcc24-dev
September 16, 2024 09:25 18m 29s
Update CI workflow to make use of new testing target CI #443: Commit 5cbcaa0 pushed by CyanoKobalamyne
September 16, 2024 08:52 18m 31s benchmarking
benchmarking
September 16, 2024 08:52 18m 31s
Update k-induction variants in portfolio solver script CI #442: Commit bb4c9f4 pushed by CyanoKobalamyne
September 16, 2024 08:37 11m 45s benchmarking
benchmarking
September 16, 2024 08:37 11m 45s
Revert "Change minimum CMake version to 3.5 (#354)" (#355) CI #441: Commit 035c002 pushed by CyanoKobalamyne
September 16, 2024 07:39 17m 32s main
main
September 16, 2024 07:39 17m 32s
Revert "Change minimum CMake version to 3.5" CI #440: Pull request #355 opened by CyanoKobalamyne
September 16, 2024 07:37 17m 57s revert-354-cmake-min-version
revert-354-cmake-min-version
September 16, 2024 07:37 17m 57s
Revert "Change minimum CMake version to 3.5 (#354)" CI #439: Commit 69960bb pushed by CyanoKobalamyne
September 16, 2024 07:36 18m 11s revert-354-cmake-min-version
revert-354-cmake-min-version
September 16, 2024 07:36 18m 11s
Implement property generalization CI #438: Pull request #346 synchronize by CyanoKobalamyne
September 16, 2024 07:35 18m 8s quantified-invariants
quantified-invariants
September 16, 2024 07:35 18m 8s
Simplify SubTermParametrizer CI #437: Commit 20c01bf pushed by CyanoKobalamyne
September 16, 2024 07:35 17m 53s quantified-invariants
quantified-invariants
September 16, 2024 07:35 17m 53s
Implement property generalization CI #436: Pull request #346 synchronize by CyanoKobalamyne
September 14, 2024 23:37 17m 53s quantified-invariants
quantified-invariants
September 14, 2024 23:37 17m 53s
Implement property generalization CI #435: Commit 9c9cd3a pushed by CyanoKobalamyne
September 14, 2024 23:37 18m 7s quantified-invariants
quantified-invariants
September 14, 2024 23:37 18m 7s