Skip to content

Actions: ufmg-smite/lean-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
300 workflow runs
300 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lemmas about rational numbers CI #612: Pull request #158 synchronize by tomaz1502
January 3, 2025 20:45 4m 42s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 20:45 4m 42s
finished all lemmas CI #611: Commit b209138 pushed by tomaz1502
January 3, 2025 20:45 5m 3s feat/rat-lemmas
feat/rat-lemmas
January 3, 2025 20:45 5m 3s
Use lean-cvc5 release package. (#159) CI #610: Commit 213932f pushed by abdoo8080
January 2, 2025 04:05 11m 16s main
main
January 2, 2025 04:05 11m 16s
Use lean-cvc5 release package. CI #609: Pull request #159 synchronize by abdoo8080
January 2, 2025 03:54 10m 29s abdoo8080:libc++
abdoo8080:libc++
January 2, 2025 03:54 10m 29s
Use lean-cvc5 release package. CI #608: Pull request #159 synchronize by abdoo8080
January 1, 2025 23:28 9m 34s abdoo8080:libc++
abdoo8080:libc++
January 1, 2025 23:28 9m 34s
Use lean-cvc5 release package. CI #607: Pull request #159 synchronize by abdoo8080
January 1, 2025 22:51 7m 16s abdoo8080:libc++
abdoo8080:libc++
January 1, 2025 22:51 7m 16s
Use lean-cvc5 release package. CI #606: Pull request #159 opened by abdoo8080
January 1, 2025 22:49 7m 25s abdoo8080:libc++
abdoo8080:libc++
January 1, 2025 22:49 7m 25s
Lemmas about rational numbers CI #605: Pull request #158 synchronize by tomaz1502
December 27, 2024 23:37 5m 20s feat/rat-lemmas
feat/rat-lemmas
December 27, 2024 23:37 5m 20s
6 to go CI #604: Commit a3b9c62 pushed by tomaz1502
December 27, 2024 23:37 5m 32s feat/rat-lemmas
feat/rat-lemmas
December 27, 2024 23:37 5m 32s
Lemmas about rational numbers CI #603: Pull request #158 synchronize by tomaz1502
December 27, 2024 22:12 5m 30s feat/rat-lemmas
feat/rat-lemmas
December 27, 2024 22:12 5m 30s
24 to go CI #602: Commit 295bbb1 pushed by tomaz1502
December 27, 2024 22:12 5m 45s feat/rat-lemmas
feat/rat-lemmas
December 27, 2024 22:12 5m 45s
Lemmas about rational numbers CI #601: Pull request #158 synchronize by tomaz1502
December 26, 2024 21:27 5m 15s feat/rat-lemmas
feat/rat-lemmas
December 26, 2024 21:27 5m 15s
28 to go CI #600: Commit d8b8c05 pushed by tomaz1502
December 26, 2024 21:27 5m 26s feat/rat-lemmas
feat/rat-lemmas
December 26, 2024 21:27 5m 26s
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