Skip to content

Actions: stanford-centaur/pono

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Restrict CMake to static libraries when compiling static binary CI #434: Commit 49e412f pushed by CyanoKobalamyne
September 14, 2024 10:50 17m 36s hwmcc24
hwmcc24
September 14, 2024 10:50 17m 36s
Restrict CMake to static libraries when compiling static binary Python Wheels #29: Commit 49e412f pushed by CyanoKobalamyne
September 14, 2024 10:50 12s hwmcc24
hwmcc24
September 14, 2024 10:50 12s
Restrict CMake to static libraries when compiling static binary CI #433: Commit 49e412f pushed by CyanoKobalamyne
September 14, 2024 10:47 18m 10s benchmarking
benchmarking
September 14, 2024 10:47 18m 10s
Restrict CMake to static libraries when compiling static binary CI #432: Commit 8d69e77 pushed by CyanoKobalamyne
September 14, 2024 10:12 18m 19s benchmarking
benchmarking
September 14, 2024 10:12 18m 19s
Build static release binary and upload as artifact CI #431: Commit 51e5030 pushed by CyanoKobalamyne
September 14, 2024 09:11 17m 27s benchmarking
benchmarking
September 14, 2024 09:11 17m 27s
Change minimum CMake version to 3.5 (#354) CI #430: Commit 158bfaf pushed by CyanoKobalamyne
September 14, 2024 09:09 17m 55s main
main
September 14, 2024 09:09 17m 55s