Skip to content

Actions: CyanoKobalamyne/pono

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Apply printing solver option to cvc5 SyGuS instance CI #59: Commit bfb4c31 pushed by CyanoKobalamyne
February 19, 2025 05:26 13m 51s ic3ia-cvc5-pred
ic3ia-cvc5-pred
February 19, 2025 05:26 13m 51s
IC3IA cvc5 predicate work (#1) CI #58: Commit dd18107 pushed by CyanoKobalamyne
February 19, 2025 05:19 11m 42s ic3ia-cvc5-pred
ic3ia-cvc5-pred
February 19, 2025 05:19 11m 42s
IC3IA cvc5 predicate work CI #57: Pull request #1 opened by CyanoKobalamyne
February 19, 2025 05:18 12m 38s stanford-centaur:ic3ia-cvc5-pred-new
stanford-centaur:ic3ia-cvc5-pred-new
February 19, 2025 05:18 12m 38s
Fix printing solver creation for MathSAT (#368) CI #56: Commit d6a81c5 pushed by CyanoKobalamyne
February 19, 2025 05:14 17m 39s ic3ia-cvc5-pred
ic3ia-cvc5-pred
February 19, 2025 05:14 17m 39s
Apply printing solver option to cvc5 SyGuS instance CI #55: Commit 8f5bd69 pushed by CyanoKobalamyne
February 19, 2025 05:10 12m 52s ic3ia-cvc5-pred
ic3ia-cvc5-pred
February 19, 2025 05:10 12m 52s
Merge branch 'non-compliant-symbols' into temp-fix-test CI #54: Commit 1221fbe pushed by CyanoKobalamyne
February 12, 2025 05:09 18m 18s test-symbol-fixes
test-symbol-fixes
February 12, 2025 05:09 18m 18s
Fix printing solver creation for MathSAT (#368) CI #53: Commit d6a81c5 pushed by CyanoKobalamyne
February 7, 2025 20:12 17m 36s main
main
February 7, 2025 20:12 17m 36s
Use next-state suffix when promoting input vars (#360) CI #52: Commit 6e09065 pushed by CyanoKobalamyne
January 24, 2025 03:35 17m 41s main
main
January 24, 2025 03:35 17m 41s
Do not build tests for make all or make install CI #51: Commit d9d53a4 pushed by CyanoKobalamyne
January 17, 2025 23:28 10m 57s ic3ia-cvc5-pred
ic3ia-cvc5-pred
January 17, 2025 23:28 10m 57s
Apply printing solver option to cvc5 SyGuS instance CI #50: Commit dfd4043 pushed by CyanoKobalamyne
December 9, 2024 20:02 10m 50s ic3ia-cvc5-pred
ic3ia-cvc5-pred
December 9, 2024 20:02 10m 50s
Remove non-compliant characters from symbol names CI #49: Commit 2a4f021 pushed by CyanoKobalamyne
November 6, 2024 06:50 9m 25s ic3ia-cvc5-pred
ic3ia-cvc5-pred
November 6, 2024 06:50 9m 25s
Adjust bound and witness when monitor state is added to TS (#356) CI #48: Commit b620e4e pushed by CyanoKobalamyne
October 29, 2024 20:38 17m 50s main
main
October 29, 2024 20:38 17m 50s
Merge branch 'main' into ic3ia-cvc5-pred-rebase CI #47: Commit 34fc00b pushed by CyanoKobalamyne
October 9, 2024 03:37 9m 23s ic3ia-cvc5-pred
ic3ia-cvc5-pred
October 9, 2024 03:37 9m 23s
Revert "Change minimum CMake version to 3.5 (#354)" (#355) CI #46: Commit 035c002 pushed by CyanoKobalamyne
September 25, 2024 23:22 16m 46s main
main
September 25, 2024 23:22 16m 46s
Remove unneeded boolector include CI #45: Commit 6581b99 pushed by CyanoKobalamyne
September 14, 2024 08:31 17m 34s remove-btor-header
remove-btor-header
September 14, 2024 08:31 17m 34s
Use system btor2tools if available CI #44: Commit bc6a6dd pushed by CyanoKobalamyne
September 14, 2024 05:59 1m 25s btor2tools-system
btor2tools-system
September 14, 2024 05:59 1m 25s
Don't exit MathSAT setup script halfway through (#351) CI #43: Commit 58f61e1 pushed by CyanoKobalamyne
September 14, 2024 05:57 17m 39s main
main
September 14, 2024 05:57 17m 39s
Switch default solver to Bitwuzla (#348) CI #42: Commit 92e7cda pushed by CyanoKobalamyne
August 31, 2024 10:46 17m 19s main
main
August 31, 2024 10:46 17m 19s
Add option to create printing solver (#343) CI #41: Commit 2451303 pushed by CyanoKobalamyne
August 30, 2024 22:08 17m 12s main
main
August 30, 2024 22:08 17m 12s
Exclude state variables without update functions in simple path check… CI #40: Commit f4583db pushed by CyanoKobalamyne
August 21, 2024 22:10 17m 28s main
main
August 21, 2024 22:10 17m 28s
Do not limit depth when cloning btor2tools (#340) CI #39: Commit 8e94f5a pushed by CyanoKobalamyne
August 21, 2024 18:24 16m 54s main
main
August 21, 2024 18:24 16m 54s
Override libgmp search procedure to include static lib CI #38: Commit b8af2c2 pushed by CyanoKobalamyne
August 19, 2024 21:52 1m 35s dynamic-libs-with-static-gmp
dynamic-libs-with-static-gmp
August 19, 2024 21:52 1m 35s
Do not use --static for smt-switch CI #37: Commit fac839a pushed by CyanoKobalamyne
August 19, 2024 21:51 1m 25s dynamic-smt-switch
dynamic-smt-switch
August 19, 2024 21:51 1m 25s
Vendor GMP CMake file CI #36: Commit 1af8f54 pushed by CyanoKobalamyne
August 19, 2024 21:50 1m 28s cmake-gmp
cmake-gmp
August 19, 2024 21:50 1m 28s
Override libgmp search procedure to include static lib CI #35: Commit a9f57d3 pushed by CyanoKobalamyne
August 19, 2024 21:36 1m 26s dynamic-libs-with-static-gmp
dynamic-libs-with-static-gmp
August 19, 2024 21:36 1m 26s