Skip to content

Actions: ajreynol/CVC4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
8,042 workflow runs
8,042 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make constant arrays require array-exp CI #30674: Commit a9e7748 pushed by ajreynol
January 15, 2025 22:58 Queued arrayConstExpert
arrayConstExpert
January 15, 2025 22:58 Queued
More CI #30673: Commit 6d4c784 pushed by ajreynol
January 15, 2025 22:50 Queued dtIpcFixes
dtIpcFixes
January 15, 2025 22:50 Queued
Ensure trust id for solve-int-as-real (#11524) CI #30672: Commit 3de6b61 pushed by ajreynol
January 15, 2025 22:47 In progress master
master
January 15, 2025 22:47 In progress
Merge branch 'main' of https://github.com/cvc5/cvc5 into strMacroRew-… CI #30671: Commit 2aa4fb4 pushed by ajreynol
January 15, 2025 20:37 38m 50s strMacroRew-1210
strMacroRew-1210
January 15, 2025 20:37 38m 50s
proof_node_to_sexpr: Refactor to not use NodeManager::currentNM() (#1… CI #30670: Commit 6e346af pushed by ajreynol
January 15, 2025 20:34 27m 42s master
master
January 15, 2025 20:34 27m 42s
Merge branch 'main' of https://github.com/cvc5/cvc5 into lambdaAppEli… CI #30669: Commit 1b50ad3 pushed by ajreynol
January 15, 2025 19:29 40m 31s lambdaAppElimShadow
lambdaAppElimShadow
January 15, 2025 19:29 40m 31s
Eagerly apply-subs + rewrite bodies of define-fun (#11526) CI #30668: Commit 32b5a54 pushed by ajreynol
January 15, 2025 19:29 35m 53s master
master
January 15, 2025 19:29 35m 53s
Add new skolem ids for proof rules involving witness terms (#11479) CI #30667: Commit df72e72 pushed by ajreynol
January 15, 2025 19:27 1m 45s master
master
January 15, 2025 19:27 1m 45s
Clarify CI #30666: Commit 5cb4b1c pushed by ajreynol
January 15, 2025 18:10 15m 29s eagerRewDefineFUn
eagerRewDefineFUn
January 15, 2025 18:10 15m 29s
Fix CI #30665: Commit 40c838c pushed by ajreynol
January 15, 2025 17:36 29m 33s reg-0115
reg-0115
January 15, 2025 17:36 29m 33s
More general dt ipc CI #30664: Commit 433b649 pushed by ajreynol
January 15, 2025 17:30 22m 23s pfTrustId
pfTrustId
January 15, 2025 17:30 22m 23s
Format CI #30663: Commit 04222da pushed by ajreynol
January 15, 2025 17:15 15m 29s dtIpcFixes
dtIpcFixes
January 15, 2025 17:15 15m 29s
Fix CI #30662: Commit 08785da pushed by ajreynol
January 15, 2025 17:14 32s dtIpcFixes
dtIpcFixes
January 15, 2025 17:14 32s
Fixes for dt ipc CI #30661: Commit d5b770c pushed by ajreynol
January 15, 2025 17:00 10m 36s dtIpcFixes
dtIpcFixes
January 15, 2025 17:00 10m 36s
Format CI #30660: Commit a53c29c pushed by ajreynol
January 15, 2025 16:39 46m 39s fixExpDef
fixExpDef
January 15, 2025 16:39 46m 39s
Fix CI #30659: Commit 0ec00cc pushed by ajreynol
January 15, 2025 16:38 1m 31s fixExpDef
fixExpDef
January 15, 2025 16:38 1m 31s
Minor CI #30658: Commit 2beacc0 pushed by ajreynol
January 15, 2025 16:19 32m 35s reg-0115
reg-0115
January 15, 2025 16:19 32m 35s
Fix CI #30657: Commit d7af753 pushed by ajreynol
January 15, 2025 16:12 7m 25s reg-0115
reg-0115
January 15, 2025 16:12 7m 25s
Add elaboration for remaining case of macro-dt-cons-eq (#11521) CI #30656: Commit c27f5d6 pushed by ajreynol
January 15, 2025 16:07 1h 6m 23s master
master
January 15, 2025 16:07 1h 6m 23s
Efficiency fix CI #30655: Commit dbf868a pushed by ajreynol
January 15, 2025 16:06 20m 1s eagerRewDefineFUn
eagerRewDefineFUn
January 15, 2025 16:06 20m 1s
Simpler CI #30654: Commit 86e342d pushed by ajreynol
January 15, 2025 16:05 22m 39s pfTrustId
pfTrustId
January 15, 2025 16:05 22m 39s
Minor CI #30653: Commit 1d04a1d pushed by ajreynol
January 15, 2025 15:17 43m 23s reg-0115
reg-0115
January 15, 2025 15:17 43m 23s
Add CI #30652: Commit fc8bcae pushed by ajreynol
January 15, 2025 15:15 2m 50s reg-0115
reg-0115
January 15, 2025 15:15 2m 50s
Merge branch 'main' of https://github.com/cvc5/cvc5 into pfTrustId CI #30651: Commit e0671bf pushed by ajreynol
January 15, 2025 15:11 29m 7s pfTrustId
pfTrustId
January 15, 2025 15:11 29m 7s
Minor CI #30650: Commit 5f20aa3 pushed by ajreynol
January 15, 2025 15:10 1m 22s pfTrustId
pfTrustId
January 15, 2025 15:10 1m 22s