Skip to content

Actions: ufmg-smite/lean-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lemmas about rational numbers CI #599: Pull request #158 opened by tomaz1502
December 20, 2024 23:36 5m 18s feat/rat-lemmas
feat/rat-lemmas
December 20, 2024 23:36 5m 18s
Prove theorem self_eq_bb (#153) CI #598: Commit b2a9bac pushed by tomaz1502
December 20, 2024 23:35 10m 1s main
main
December 20, 2024 23:35 10m 1s
3 more lemmas CI #597: Commit b4ae746 pushed by tomaz1502
December 19, 2024 21:57 6m 35s feat/rat-lemmas
feat/rat-lemmas
December 19, 2024 21:57 6m 35s
Rat.mul_lt_mul_left CI #596: Commit d124eb5 pushed by tomaz1502
December 19, 2024 13:15 5m 55s feat/rat-lemmas
feat/rat-lemmas
December 19, 2024 13:15 5m 55s
Finish more rat lemmas CI #595: Commit a1ccc05 pushed by tomaz1502
December 19, 2024 01:35 6m 28s feat/rat-lemmas
feat/rat-lemmas
December 19, 2024 01:35 6m 28s
Update proofs with newer version of lean CI #594: Commit 2b397a5 pushed by tomaz1502
December 17, 2024 22:21 18m 48s feat/rat-lemmas
feat/rat-lemmas
December 17, 2024 22:21 18m 48s
Remove outdated import CI #593: Commit 0901b50 pushed by tomaz1502
December 17, 2024 16:33 6m 16s feat/rat-lemmas
feat/rat-lemmas
December 17, 2024 16:33 6m 16s
feat: more useful Int/Rat lemmas CI #592: Commit 6d12bef pushed by tomaz1502
December 17, 2024 16:20 6m 59s feat/rat-lemmas
feat/rat-lemmas
December 17, 2024 16:20 6m 59s
Real polynorm (#157) CI #591: Commit 9ad1c39 pushed by abdoo8080
December 17, 2024 06:37 15m 51s main
main
December 17, 2024 06:37 15m 51s
Real polynorm CI #590: Pull request #157 opened by abdoo8080
December 17, 2024 06:22 13m 12s abdoo8080:real-polynorm
abdoo8080:real-polynorm
December 17, 2024 06:22 13m 12s
Sync with cvc5 main and latest Lean version. (#156) CI #589: Commit ed0b650 pushed by abdoo8080
December 17, 2024 05:40 12m 30s main
main
December 17, 2024 05:40 12m 30s
Sync with cvc5 main and latest Lean version. CI #588: Pull request #156 synchronize by abdoo8080
December 17, 2024 05:27 10m 19s abdoo8080:v1.14
abdoo8080:v1.14
December 17, 2024 05:27 10m 19s
Sync with cvc5 main and latest Lean version. CI #587: Pull request #156 opened by abdoo8080
December 17, 2024 05:26 11m 28s abdoo8080:v1.14
abdoo8080:v1.14
December 17, 2024 05:26 11m 28s
Prove lemmas about Rat CI #586: Pull request #155 synchronize by tomaz1502
December 16, 2024 01:22 14m 35s tomaz1502:main
tomaz1502:main
December 16, 2024 01:22 14m 35s
Prove lemmas about Rat CI #585: Pull request #155 opened by tomaz1502
December 15, 2024 23:11 11m 15s tomaz1502:main
tomaz1502:main
December 15, 2024 23:11 11m 15s
Sync cvc5 main arithmetic subtyping fixes. (#154) CI #584: Commit 39b2782 pushed by abdoo8080
December 5, 2024 01:29 12m 32s main
main
December 5, 2024 01:29 12m 32s
Sync cvc5 main arithmetic subtyping fixes. CI #583: Pull request #154 opened by abdoo8080
December 4, 2024 10:12 13m 48s abdoo8080:subtype-fixes
abdoo8080:subtype-fixes
December 4, 2024 10:12 13m 48s
Prove theorem self_eq_bb CI #582: Pull request #153 opened by bernborgess
November 29, 2024 12:19 11m 40s bernborgess:bitblast/self_eq_bb
bernborgess:bitblast/self_eq_bb
November 29, 2024 12:19 11m 40s
Update README.md (#152) CI #581: Commit 0e0e28c pushed by abdoo8080
November 27, 2024 16:17 12m 10s main
main
November 27, 2024 16:17 12m 10s
Update README.md CI #580: Pull request #152 opened by abdoo8080
November 27, 2024 16:16 20m 14s abdoo8080-patch-2
abdoo8080-patch-2
November 27, 2024 16:16 20m 14s
Update README.md CI #579: Commit 3f4e73f pushed by abdoo8080
November 27, 2024 16:16 17m 46s abdoo8080-patch-2
abdoo8080-patch-2
November 27, 2024 16:16 17m 46s
Drop polymorphic Type/Sort level restrictions (part 1). (#151) CI #578: Commit 3afa2c8 pushed by abdoo8080
November 27, 2024 06:42 12m 32s main
main
November 27, 2024 06:42 12m 32s
Drop polymorphic Type/Sort level restrictions (part 1). CI #577: Pull request #151 opened by abdoo8080
November 27, 2024 06:23 13m 15s abdoo8080:levels
abdoo8080:levels
November 27, 2024 06:23 13m 15s
Provide a solver backend for lean-auto. (#150) CI #576: Commit 9cc24d5 pushed by abdoo8080
November 24, 2024 04:57 10m 30s main
main
November 24, 2024 04:57 10m 30s
Provide a solver backend for lean-auto. CI #575: Pull request #150 synchronize by abdoo8080
November 24, 2024 04:57 11m 0s abdoo8080:auto2
abdoo8080:auto2
November 24, 2024 04:57 11m 0s