Skip to content

Actions: stanford-centaur/smt-switch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow runs
141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clean up .gitignore CI #604: Commit b036477 pushed by CyanoKobalamyne
May 20, 2024 22:30 46s main
main
May 20, 2024 22:30 46s
Update Bitwuzla code for new API CI #603: Pull request #347 synchronize by CyanoKobalamyne
May 20, 2024 22:23 47s samanthaarcher0:bitwuzla-update
samanthaarcher0:bitwuzla-update
May 20, 2024 22:23 47s
Update Bitwuzla code for new API CI #602: Pull request #347 synchronize by CyanoKobalamyne
May 20, 2024 21:40 46s samanthaarcher0:bitwuzla-update
samanthaarcher0:bitwuzla-update
May 20, 2024 21:40 46s
Update Bitwuzla code for new API CI #600: Pull request #347 synchronize by CyanoKobalamyne
May 17, 2024 23:22 48s samanthaarcher0:bitwuzla-update
samanthaarcher0:bitwuzla-update
May 17, 2024 23:22 48s
Update Bitwuzla code for new API CI #597: Pull request #347 synchronize by CyanoKobalamyne
May 16, 2024 22:33 47s samanthaarcher0:bitwuzla-update
samanthaarcher0:bitwuzla-update
May 16, 2024 22:33 47s
Increase minimum CMake version (#336) CI #595: Commit 9d000bd pushed by CyanoKobalamyne
May 15, 2024 18:40 51s main
main
May 15, 2024 18:40 51s
Add datatype support for z3 (#346) CI #594: Commit 2e2253b pushed by yoni206
March 21, 2024 10:42 30m 58s main
main
March 21, 2024 10:42 30m 58s
Add datatype support for z3 CI #593: Pull request #346 synchronize by farmerzhang1
March 18, 2024 06:14 17m 27s farmerzhang1:main
farmerzhang1:main
March 18, 2024 06:14 17m 27s
Add datatype support for z3 CI #590: Pull request #346 opened by farmerzhang1
March 12, 2024 03:10 25m 41s farmerzhang1:main
farmerzhang1:main
March 12, 2024 03:10 25m 41s
Set errexit bash option to terminate contrib setup scripts on error (… CI #589: Commit f306626 pushed by CyanoKobalamyne
February 9, 2024 18:16 13m 6s main
main
February 9, 2024 18:16 13m 6s
Set errexit bash option to terminate contrib setup scripts on error (… CI #588: Commit f306626 pushed by CyanoKobalamyne
February 7, 2024 21:40 27m 16s master
master
February 7, 2024 21:40 27m 16s
Set errexit bash option to terminate contrib setup scripts on error CI #587: Pull request #343 synchronize by CyanoKobalamyne
February 7, 2024 19:57 32m 24s CyanoKobalamyne:exit-scripts-on-error
CyanoKobalamyne:exit-scripts-on-error
February 7, 2024 19:57 32m 24s
Update cvc5 to 1.1.1 (#345) CI #586: Commit bd8a849 pushed by CyanoKobalamyne
February 7, 2024 19:56 6h 0m 31s master
master
February 7, 2024 19:56 6h 0m 31s
Set errexit bash option to terminate contrib setup scripts on error CI #585: Pull request #343 synchronize by CyanoKobalamyne
February 7, 2024 08:23 3m 6s CyanoKobalamyne:exit-scripts-on-error
CyanoKobalamyne:exit-scripts-on-error
February 7, 2024 08:23 3m 6s
Update cvc5 to 1.1.1 CI #584: Pull request #345 opened by CyanoKobalamyne
February 7, 2024 08:17 22m 30s CyanoKobalamyne:cvc5-update-111
CyanoKobalamyne:cvc5-update-111
February 7, 2024 08:17 22m 30s
Update boolector to most recent version (3.2.3 plus extra) (#344) CI #583: Commit 2d64590 pushed by yoni206
February 7, 2024 06:24 29m 6s master
master
February 7, 2024 06:24 29m 6s
Update boolector to most recent version (3.2.3 plus extra) CI #582: Pull request #344 opened by CyanoKobalamyne
February 7, 2024 05:51 17m 49s CyanoKobalamyne:boolector-3.2.3+4
CyanoKobalamyne:boolector-3.2.3+4
February 7, 2024 05:51 17m 49s
Set errexit bash option to terminate contrib setup scripts on error CI #581: Pull request #343 opened by CyanoKobalamyne
February 6, 2024 23:15 5m 53s CyanoKobalamyne:exit-scripts-on-error
CyanoKobalamyne:exit-scripts-on-error
February 6, 2024 23:15 5m 53s
multiplication is variadic (#341) CI #580: Commit d6a5b13 pushed by yoni206
December 12, 2023 08:23 15m 28s master
master
December 12, 2023 08:23 15m 28s
multiplication is variadic CI #579: Pull request #341 synchronize by ffrohn
December 12, 2023 07:37 18m 1s ffrohn:mult_variadic
ffrohn:mult_variadic
December 12, 2023 07:37 18m 1s
multiplication is variadic CI #578: Pull request #341 opened by ffrohn
December 11, 2023 15:37 27m 26s ffrohn:mult_variadic
ffrohn:mult_variadic
December 11, 2023 15:37 27m 26s
fixes for build with z3 (#340) CI #577: Commit f4bd379 pushed by yoni206
December 5, 2023 16:06 38m 19s master
master
December 5, 2023 16:06 38m 19s
uint is non-standard (#339) CI #576: Commit 77059c7 pushed by yoni206
December 5, 2023 16:05 29m 17s master
master
December 5, 2023 16:05 29m 17s
fixes for build with z3 CI #575: Pull request #340 opened by ffrohn
December 4, 2023 13:23 33m 39s ffrohn:z3-build
ffrohn:z3-build
December 4, 2023 13:23 33m 39s
uint is non-standard CI #574: Pull request #339 opened by ffrohn
December 4, 2023 13:17 22m 55s ffrohn:uint
ffrohn:uint
December 4, 2023 13:17 22m 55s