Skip to content

Actions: ajreynol/CVC4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17,103 workflow runs
17,103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add necessary BV macro rewrites and their elaboration CI #31595: Commit 86dc0d5 pushed by ajreynol
February 24, 2025 17:51 4m 48s bvMacroElab
bvMacroElab
February 24, 2025 17:51 4m 48s
Upload Docs Upload Docs #22975: completed by ajreynol
February 24, 2025 17:48 2s
February 24, 2025 17:48 2s
Add Eunoia definitions for BV multiplication overflow predicates CI #31594: Commit 2ac5057 pushed by ajreynol
February 24, 2025 17:38 10m 4s bvMuloEo
bvMuloEo
February 24, 2025 17:38 10m 4s
Upload Docs Upload Docs #22974: completed by ajreynol
February 24, 2025 17:36 2s
February 24, 2025 17:36 2s
Upload Docs Upload Docs #22973: completed by ajreynol
February 24, 2025 17:34 2s
February 24, 2025 17:34 2s
Add bitvector concat and xor to ACI_NORM CI #31593: Commit 2f428e6 pushed by ajreynol
February 24, 2025 17:27 36m 36s aciNormAc
aciNormAc
February 24, 2025 17:27 36m 36s
Merge branch 'main' of https://github.com/cvc5/cvc5 into pfTrustId CI #31592: Commit 88aba05 pushed by ajreynol
February 24, 2025 17:19 17m 0s pfTrustId
pfTrustId
February 24, 2025 17:19 17m 0s
Add support for datatypes updater elimination rules in Eunoia (#11625) CI #31591: Commit b936ead pushed by ajreynol
February 24, 2025 17:19 15m 28s master
master
February 24, 2025 17:19 15m 28s
Upload Docs Upload Docs #22972: completed by ajreynol
February 24, 2025 17:13 3s
February 24, 2025 17:13 3s
Upload Docs Upload Docs #22971: completed by ajreynol
February 24, 2025 16:56 2s
February 24, 2025 16:56 2s
Upload Docs Upload Docs #22970: completed by ajreynol
February 24, 2025 16:49 2s
February 24, 2025 16:49 2s
MBQI is regular CI #31590: Commit e80fb7e pushed by ajreynol
February 24, 2025 16:40 16m 26s pfTrustId
pfTrustId
February 24, 2025 16:40 16m 26s
Upload Docs Upload Docs #22969: completed by ajreynol
February 24, 2025 16:37 2s
February 24, 2025 16:37 2s
Fix CI #31589: Commit 18b9e3c pushed by ajreynol
February 24, 2025 16:36 37m 3s fixProj722
fixProj722
February 24, 2025 16:36 37m 3s
Upload Docs Upload Docs #22968: completed by ajreynol
February 24, 2025 16:27 2s
February 24, 2025 16:27 2s
Upload Docs Upload Docs #22967: completed by ajreynol
February 24, 2025 16:12 2s
February 24, 2025 16:12 2s
Minor CI #31588: Commit aefda23 pushed by ajreynol
February 24, 2025 16:11 25m 13s fixProj722
fixProj722
February 24, 2025 16:11 25m 13s
Upload Docs Upload Docs #22966: completed by ajreynol
February 24, 2025 15:55 2s
February 24, 2025 15:55 2s
Regression CI #31587: Commit a225d21 pushed by ajreynol
February 24, 2025 15:55 16m 58s fixProj722
fixProj722
February 24, 2025 15:55 16m 58s
Minor fix for quantifiers preprocessing pass CI #31586: Commit b9860a7 pushed by ajreynol
February 24, 2025 15:52 3m 15s fixProj722
fixProj722
February 24, 2025 15:52 3m 15s
Upload Docs Upload Docs #22965: completed by ajreynol
February 24, 2025 15:51 2s
February 24, 2025 15:51 2s
separate function for debugging irrelevant eqc computation (#11669) CI #31585: Commit 76b59f0 pushed by ajreynol
February 24, 2025 15:50 58m 29s master
master
February 24, 2025 15:50 58m 29s
Upload Docs Upload Docs #22964: completed by ajreynol
February 24, 2025 15:49 1s
February 24, 2025 15:49 1s
Add CI #31584: Commit 10dd1db pushed by ajreynol
February 24, 2025 15:49 38m 6s fixedIssues-0224
fixedIssues-0224
February 24, 2025 15:49 38m 6s
Upload Docs Upload Docs #22963: completed by ajreynol
February 24, 2025 15:38 2s
February 24, 2025 15:38 2s