Skip to content

Actions: HanielB/cvc5

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
263 workflow run results
263 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[proofs] [alethe] Remove from node converter unsupported quantifier k… CI #1927: Commit 086f694 pushed by HanielB
December 5, 2024 15:25 43m 55s removeQuantKindsAlethe
removeQuantKindsAlethe
December 5, 2024 15:25 43m 55s
Add proof logger interface (#11243) CI #1926: Commit 8514715 pushed by HanielB
December 2, 2024 12:28 46m 41s main
main
December 2, 2024 12:28 46m 41s
wip CI #1925: Commit 0358dd6 pushed by HanielB
November 30, 2024 14:59 25m 57s alethe-elab-partial-app
alethe-elab-partial-app
November 30, 2024 14:59 25m 57s
Clarifying documentation for interpolation (#11380) CI #1924: Commit 7fc37ae pushed by HanielB
November 22, 2024 13:55 32m 48s main
main
November 22, 2024 13:55 32m 48s
Add proof support for missing datatypes inferences (#11304) CI #1923: Commit ef0dc50 pushed by HanielB
November 18, 2024 20:19 44m 43s main
main
November 18, 2024 20:19 44m 43s
blah CI #1922: Commit 8d98116 pushed by HanielB
November 12, 2024 13:30 40m 45s fix-unsat-cores
fix-unsat-cores
November 12, 2024 13:30 40m 45s
[proofs] [alethe] Print valid arguments in hole steps (#11287) CI #1921: Commit ff5c97b pushed by HanielB
November 12, 2024 13:27 3m 17s fix-unsat-cores
fix-unsat-cores
November 12, 2024 13:27 3m 17s
Fix getInterpolant when top-level substitutions are present (#11340) CI #1920: Commit e81f508 pushed by HanielB
November 12, 2024 12:10 54m 59s main
main
November 12, 2024 12:10 54m 59s
example proofs from regress0/cores/dd.uc-min-wrong.smt2 CI #1919: Commit 645329d pushed by HanielB
November 8, 2024 20:39 20m 8s fix-lambdas-alethe
fix-lambdas-alethe
November 8, 2024 20:39 20m 8s
[CPC] Ensure minus is used in contexts where it can be typed (#11333) CI #1918: Commit 77c64f3 pushed by HanielB
November 8, 2024 19:47 42m 51s main
main
November 8, 2024 19:47 42m 51s
Add proof support for several simple elimination theory rewrites (#11… CI #1917: Commit 67517cb pushed by HanielB
November 5, 2024 12:50 23m 8s main
main
November 5, 2024 12:50 23m 8s
[alethe] Bump Carcara version with support for abs taking a Real CI #1916: Commit fb67111 pushed by HanielB
October 29, 2024 19:27 42m 48s updateCarcaraVersion
updateCarcaraVersion
October 29, 2024 19:27 42m 48s
Add more string rewrites in RARE (#11309) CI #1915: Commit 9fe9a9c pushed by HanielB
October 29, 2024 19:25 2m 49s updateCarcaraVersion
updateCarcaraVersion
October 29, 2024 19:25 2m 49s
[proofs] [alethe] Print valid arguments in hole steps CI #1914: Commit 1be535a pushed by HanielB
October 16, 2024 14:11 53s fix-alethe2
fix-alethe2
October 16, 2024 14:11 53s
[proofs] [alethe] Fix translations of CONTRA rule CI #1913: Commit 8a35e58 pushed by HanielB
October 15, 2024 18:16 1m 43s fix-alethe
fix-alethe
October 15, 2024 18:16 1m 43s
[proofs] [alethe] Improve error flagging to catch unsupported types (… CI #1912: Commit 7ec5106 pushed by HanielB
October 15, 2024 16:31 52s main
main
October 15, 2024 16:31 52s
improve CI #1911: Commit a7d7790 pushed by HanielB
October 9, 2024 01:40 1m 15s better-alethe-error-flagging
better-alethe-error-flagging
October 9, 2024 01:40 1m 15s
Allow theories to occur in a logic name in any order (#11207) CI #1910: Commit f1f33a2 pushed by HanielB
October 8, 2024 19:29 49s main
main
October 8, 2024 19:29 49s
cadical: Initialize external propagator prior to adding clauses. (#11… CI #1909: Commit bb35335 pushed by HanielB
October 7, 2024 14:18 1m 7s main
main
October 7, 2024 14:18 1m 7s
Update calls to deprecated functions in Python QuickStart (#11248) CI #1908: Commit 3e9a898 pushed by HanielB
October 1, 2024 21:19 1m 5s main
main
October 1, 2024 21:19 1m 5s
Fix unsoundess issues with set.filter up and down rules (#11244) CI #1907: Commit 2e65598 pushed by HanielB
October 1, 2024 17:48 51s main
main
October 1, 2024 17:48 51s
Remove option strings-code-elim (#11159) CI #1906: Commit 97d944d pushed by HanielB
September 30, 2024 20:52 1m 14s main
main
September 30, 2024 20:52 1m 14s
disable cpc tester on new regression CI #1905: Commit 28d54f1 pushed by HanielB
September 28, 2024 15:05 55s alethe-fix-alpha-equiv
alethe-fix-alpha-equiv
September 28, 2024 15:05 55s
[proofs] [alethe] Guard for proofs containing reserved word CI #1904: Commit 944220f pushed by HanielB
September 28, 2024 15:00 57s fix-alethe-choice-reserved
fix-alethe-choice-reserved
September 28, 2024 15:00 57s
more CI #1903: Commit 1cfb80d pushed by HanielB
September 28, 2024 14:37 53s alethe-fix-alpha-equiv
alethe-fix-alpha-equiv
September 28, 2024 14:37 53s