Skip to content

Actions: HanielB/cvc5

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
268 workflow runs
268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[proofs] [alethe] Support symbolic indexed operators (#11804) CI #1992: Commit 4a4ae29 pushed by HanielB
April 10, 2025 13:53 41m 29s main
main
April 10, 2025 13:53 41m 29s
more disabling CI #1991: Commit 161b6e8 pushed by HanielB
April 9, 2025 19:37 37m 41s alethe-symb-indexed
alethe-symb-indexed
April 9, 2025 19:37 37m 41s
[proofs] [alethe] Support symbolic indexed operators CI #1990: Commit 87d2483 pushed by HanielB
April 9, 2025 17:51 10m 53s alethe-symb-indexed
alethe-symb-indexed
April 9, 2025 17:51 10m 53s
transient CI #1989: Commit 6fb6d7e pushed by HanielB
April 8, 2025 20:30 23m 19s alethe-symb-indexed
alethe-symb-indexed
April 8, 2025 20:30 23m 19s
Fix use of EVALUATE in proof elaboration (#11798) CI #1988: Commit 28f261c pushed by HanielB
April 8, 2025 20:10 38m 9s main
main
April 8, 2025 20:10 38m 9s
Add Eunoia signature for (forthcoming) rule exists string length (#11… CI #1987: Commit 0310120 pushed by HanielB
April 7, 2025 17:27 37m 36s main
main
April 7, 2025 17:27 37m 36s
Finish Eunoia bitblasting signature and enable (#11785) CI #1986: Commit 6dbf4a1 pushed by HanielB
April 4, 2025 13:11 31m 45s main
main
April 4, 2025 13:11 31m 45s
[proof log] Make sure we log lemmas from presolve() CI #1985: Commit 44fb0fd pushed by HanielB
April 2, 2025 17:15 37m 12s fix-pf-log
fix-pf-log
April 2, 2025 17:15 37m 12s
Add NodeManager pointer to SkolemManager (#11773) CI #1984: Commit 6826042 pushed by HanielB
April 2, 2025 17:13 1m 55s fix-pf-log
fix-pf-log
April 2, 2025 17:13 1m 55s
Merge branch 'fix-pf-log' of github.com:HanielB/cvc5 into fix-pf-log CI #1983: Commit fb7f026 pushed by HanielB
April 2, 2025 16:55 18m 48s fix-pf-log
fix-pf-log
April 2, 2025 16:55 18m 48s
Add NodeManager pointer to SkolemManager (#11773) CI #1982: Commit 6826042 pushed by HanielB
April 2, 2025 16:52 33m 8s main
main
April 2, 2025 16:52 33m 8s
Add remaining RARE rewrites for strings (#11569) CI #1981: Commit fe6d0cc pushed by HanielB
April 2, 2025 14:07 42m 33s main
main
April 2, 2025 14:07 42m 33s
[proofs] [alethe] Fix translations of CONTRA rule CI #1980: Commit b7edada pushed by Lachnitt
April 1, 2025 22:04 14m 6s fix-alethe
fix-alethe
April 1, 2025 22:04 14m 6s
Miscellaneous remaining changes to strings signature (#11762) CI #1979: Commit a4f1c91 pushed by HanielB
March 28, 2025 16:52 35m 42s main
main
March 28, 2025 16:52 35m 42s
typo CI #1978: Commit 8e77a05 pushed by HanielB
March 23, 2025 23:11 35m 12s fix-alethe-skolem-defs
fix-alethe-skolem-defs
March 23, 2025 23:11 35m 12s
format CI #1977: Commit d61db23 pushed by HanielB
March 23, 2025 23:09 2m 23s fix-alethe-skolem-defs
fix-alethe-skolem-defs
March 23, 2025 23:09 2m 23s
cadical: Add more stats. (#11747) CI #1976: Commit 7bf5d3e pushed by HanielB
March 23, 2025 23:09 34m 52s main
main
March 23, 2025 23:09 34m 52s
further fixing skolem defs handling in Alethe backend CI #1975: Commit e4da4c6 pushed by HanielB
March 23, 2025 22:55 14m 4s fix-alethe-skolem-defs
fix-alethe-skolem-defs
March 23, 2025 22:55 14m 4s
Add a static build option for the JNI library (#11730) CI #1974: Commit b949f81 pushed by HanielB
March 18, 2025 11:52 21m 20s main
main
March 18, 2025 11:52 21m 20s
[proofs] [alethe] Do not lose skolem definitions CI #1973: Commit 3a9a0fa pushed by HanielB
March 18, 2025 02:38 27m 36s fix-alethe-skolem-defs
fix-alethe-skolem-defs
March 18, 2025 02:38 27m 36s
Disable proof tester for regression. (#11741) CI #1972: Commit c1bdfd3 pushed by HanielB
March 14, 2025 18:57 24m 4s main
main
March 14, 2025 18:57 24m 4s
Refactor bound variable manager to use identifiers instead of attribu… CI #1971: Commit 8cbd580 pushed by HanielB
March 13, 2025 17:56 36m 8s main
main
March 13, 2025 17:56 36m 8s
More updates to safe options (#11664) CI #1970: Commit fdce0c1 pushed by HanielB
March 11, 2025 13:19 18m 29s main
main
March 11, 2025 13:19 18m 29s
Remove DT_CLASH proof rule (#11629) CI #1969: Commit 1cb2845 pushed by HanielB
March 10, 2025 13:09 40m 3s main
main
March 10, 2025 13:09 40m 3s
transient towards lazy preprocessing CI #1968: Commit 08f3b1c pushed by HanielB
February 24, 2025 12:54 24m 2s dratt2
dratt2
February 24, 2025 12:54 24m 2s