Skip to content

Actions: abdoo8080/lean-smt

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update ite rewrite. CI #318: Commit b0f2145 pushed by abdoo8080
19m 5s ite
ite
19m 5s
Change a prop rewrite. CI #317: Commit fe921e9 pushed by abdoo8080
18m 21s v4.27.0
v4.27.0
18m 21s
Run intros and contra automatically on goal. CI #316: Commit fe83087 pushed by abdoo8080
20m 49s v4.27.0
v4.27.0
20m 49s
Sync with cvc5's new version. CI #315: Commit 3e07a58 pushed by abdoo8080
18m 35s cvc5-1.3.2
cvc5-1.3.2
18m 35s
Add a normalization step after monomorphization. CI #314: Commit 4d389b1 pushed by abdoo8080
21m 45s v4.26.0
v4.26.0
21m 45s
Update Lean toolchain to v4.26.0. CI #313: Commit a5fc24b pushed by abdoo8080
19m 18s v4.26.0
v4.26.0
19m 18s
Fix bugs and encapsulate Graph. CI #312: Commit af7e94f pushed by abdoo8080
4h 2m 37s v4.25.2
v4.25.2
4h 2m 37s
Update Lean toolchain to v4.25.2. CI #311: Commit 22c181a pushed by abdoo8080
1h 1m 44s v4.25.2
v4.25.2
1h 1m 44s
Add proper support for subtype embeddings. CI #310: Commit 3833661 pushed by abdoo8080
16m 42s no-mathlib
no-mathlib
16m 42s
Bump Lean version to v4.24.0. CI #309: Commit c106ea6 pushed by abdoo8080
33m 52s no-mathlib
no-mathlib
33m 52s
Bump Lean version to v4.24.0. CI #308: Commit c7ac99b pushed by abdoo8080
6m 18s no-mathlib
no-mathlib
6m 18s
Bump Lean version to v4.24.0. CI #307: Commit 2e5cddb pushed by abdoo8080
6m 40s no-mathlib
no-mathlib
6m 40s
Update cvc5 dependency to a shorter commit hash. CI #306: Commit 6a5790f pushed by abdoo8080
6m 31s meta-smt
meta-smt
6m 31s
Retreat demo changes. CI #305: Commit 97938d2 pushed by abdoo8080
6m 28s meta-smt
meta-smt
6m 28s
Retreat demo changes. CI #304: Commit feadf9e pushed by abdoo8080
6m 26s meta-smt
meta-smt
6m 26s
Retreat demo changes. CI #303: Commit 2efbb09 pushed by abdoo8080
6m 50s meta-smt
meta-smt
6m 50s
Fix TransFns and add reconstruction for incremental linearization (#203) CI #302: Commit d6c048b pushed by abdoo8080
6m 47s main
main
6m 47s
Hammer changes. CI #301: Commit 2bf92a8 pushed by abdoo8080
4m 55s hammer-v4.22.0
hammer-v4.22.0
4m 55s
Support counter-examples with mono. CI #300: Commit 6a8803c pushed by abdoo8080
6m 13s mono-ce
mono-ce
6m 13s
Support counter-examples with mono. CI #299: Commit 030f9f5 pushed by abdoo8080
13m 4s mono-ce
mono-ce
13m 4s
Update to Lean toolchain v4.22.0. CI #298: Commit aa92214 pushed by abdoo8080
10m 32s v4.22.0
v4.22.0
10m 32s
Update to Lean toolchain v4.22.0. CI #297: Commit 77fb2bf pushed by abdoo8080
10m 9s v4.22.0
v4.22.0
10m 9s
Improve model support and disable it by default. CI #296: Commit df168b0 pushed by abdoo8080
10m 23s unsat-core
unsat-core
10m 23s
Provide initial support for unsat-core and counter-examples. CI #295: Commit 0e6852c pushed by abdoo8080
12m 31s unsat-core
unsat-core
12m 31s
Support unsat-core and counter-examples. CI #294: Commit 99ef243 pushed by abdoo8080
14m 14s unsat-core
unsat-core
14m 14s