8000 CI · Workflow runs · vinisilvag/cvc5 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: vinisilvag/cvc5

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

10000

Filter by Branch

Filter by Actor

Cache and some refactors CI #13: Commit 19483ce pushed by vinisilvag
May 15, 2025 02:05 4m 30s minimal-logic-detection
minimal-logic-detection
May 15, 2025 02:05 4m 30s
Some updates CI #12: Commit 9e63977 pushed by vinisilvag
May 14, 2025 03:13 3m 23s minimal-logic-detection
minimal-logic-detection
May 14, 2025 03:13 3m 23s
Split into an util file CI #11: Commit 7125f0f pushed by vinisilvag
April 29, 2025 04:15 4m 39s minimal-logic-detection
minimal-logic-detection
April 29, 2025 04:15 4m 39s
More CI #10: Commit fa170c1 pushed by vinisilvag
March 27, 2025 01:54 21m 38s minimal-logic-detection
minimal-logic-detection
March 27, 2025 01:54 21m 38s
Continuing CI #9: Commit dd18822 pushed by vinisilvag
March 25, 2025 18:44 23m 17s minimal-logic-detection
minimal-logic-detection
March 25, 2025 18:44 23m 17s
Initial commit CI #8: Commit 3e8b082 pushed by vinisilvag
March 18, 2025 01:53 13m 44s minimal-logic-detection
minimal-logic-detection
March 18, 2025 01:53 13m 44s
Disable proof tester for regression. (#11741) CI #7: Commit c1bdfd3 pushed by vinisilvag
March 16, 2025 21:01 17m 29s main
main
March 16, 2025 21:01 17m 29s
Initial proof setup for bv-to-int (#11312) CI #6: Commit de042e9 pushed by vinisilvag
October 25, 2024 02:02 18m 58s main
main
October 25, 2024 02:02 18m 58s
Allow theories to occur in a logic name in any order (#11207) CI #5: Commit f1f33a2 pushed by vinisilvag
October 8, 2024 22:48 18m 40s main
main
October 8, 2024 22:48 18m 40s
bounded integers: Refactor to not use NodeManager::currentNM() (#11225) CI #4: Commit 027ea63 pushed by vinisilvag
September 29, 2024 16:26 20m 34s main
main
September 29, 2024 16:26 20m 34s
Adds the Carcara proof checker infrastructure (#10529) CI #3: Commit 60d2c7b pushed by vinisilvag
August 21, 2024 20:29 20m 42s main
main
August 21, 2024 20:29 20m 42s
Merge branch 'main' into carcara-integration CI #2: Commit bf993d1 pushed by HanielB
August 21, 2024 19:31 35m 26s carcara-integration
carcara-integration
August 21, 2024 19:31 35m 26s
Fix HO extensionality for finite range types (#11110) CI #1: Commit 2aaa597 pushed by vinisilvag
July 31, 2024 01:01 17m 14s main
main
July 31, 2024 01:01 17m 14s
0