Skip to content

Actions: ufmg-smite/lean-smt

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
295 workflow runs
295 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Provide a solver backend for lean-auto. CI #574: Pull request #150 synchronize by abdoo8080
November 24, 2024 04:37 14m 41s abdoo8080:auto2
abdoo8080:auto2
November 24, 2024 04:37 14m 41s
Provide a solver backend for lean-auto. CI #573: Pull request #150 opened by abdoo8080
November 24, 2024 04:33 2m 37s abdoo8080:auto2
abdoo8080:auto2
November 24, 2024 04:33 2m 37s
Simplify CI. (#149) CI #572: Commit f5f2325 pushed by abdoo8080
November 23, 2024 18:43 8m 1s main
main
November 23, 2024 18:43 8m 1s
Simplify CI. CI #571: Pull request #149 synchronize by abdoo8080
November 23, 2024 18:35 7m 1s abdoo8080:ci-update2
abdoo8080:ci-update2
November 23, 2024 18:35 7m 1s
Simplify CI. CI #570: Pull request #149 synchronize by abdoo8080
November 23, 2024 14:49 1m 1s abdoo8080:ci-update2
abdoo8080:ci-update2
November 23, 2024 14:49 1m 1s
Simplify CI. CI #569: Pull request #149 opened by abdoo8080
November 23, 2024 14:46 1m 3s abdoo8080:ci-update2
abdoo8080:ci-update2
November 23, 2024 14:46 1m 3s
Update readme and add macOS x86_64 CI. (#148) CI #568: Commit a1b04be pushed by abdoo8080
November 22, 2024 16:05 8m 42s main
main
November 22, 2024 16:05 8m 42s
Update readme and add macOS x86_64 CI. CI #567: Pull request #148 synchronize by abdoo8080
November 22, 2024 15:51 6m 24s abdoo8080:ci-update
abdoo8080:ci-update
November 22, 2024 15:51 6m 24s
Update readme and add macOS x86_64 CI. CI #566: Pull request #148 synchronize by abdoo8080
November 22, 2024 15:34 3m 1s abdoo8080:ci-update
abdoo8080:ci-update
November 22, 2024 15:34 3m 1s
Update readme and add macOS x86_64 CI. CI #565: Pull request #148 synchronize by abdoo8080
November 22, 2024 15:25 3m 1s abdoo8080:ci-update
abdoo8080:ci-update
November 22, 2024 15:25 3m 1s
Update readme and add macOS x86_64 CI. CI #564: Pull request #148 synchronize by abdoo8080
November 22, 2024 15:17 1m 37s abdoo8080:ci-update
abdoo8080:ci-update
November 22, 2024 15:17 1m 37s
Update readme and add macOS x86_64 CI. CI #563: Pull request #148 opened by abdoo8080
November 22, 2024 15:15 2s abdoo8080:ci-update
abdoo8080:ci-update
November 22, 2024 15:15 2s
Support more quantifier rewrites. (#147) CI #562: Commit a6271ab pushed by abdoo8080
November 22, 2024 09:40 3m 46s main
main
November 22, 2024 09:40 3m 46s
Support more quantifier rewrites. CI #561: Pull request #147 opened by abdoo8080
November 22, 2024 08:32 3m 51s abdoo8080:quants
abdoo8080:quants
November 22, 2024 08:32 3m 51s
Sync cvc5 fixes for arithmetic. (#146) CI #560: Commit 6bd8808 pushed by abdoo8080
November 21, 2024 14:29 3m 27s main
main
November 21, 2024 14:29 3m 27s
Sync cvc5 fixes for arithmetic. CI #559: Pull request #146 opened by abdoo8080
November 21, 2024 07:37 3m 10s abdoo8080:arith-fixes
abdoo8080:arith-fixes
November 21, 2024 07:37 3m 10s
Fix some bugs with ARITH_TIGHT_* rules. (#145) CI #558: Commit 9a3ac3f pushed by abdoo8080
November 19, 2024 17:05 3m 19s main
main
November 19, 2024 17:05 3m 19s
Fix some bugs with ARITH_TIGHT_* rules. CI #557: Pull request #145 opened by abdoo8080
November 19, 2024 16:59 6m 0s abdoo8080:tight
abdoo8080:tight
November 19, 2024 16:59 6m 0s
Sync with cvc5 main. (#144) CI #556: Commit 71ac743 pushed by abdoo8080
November 17, 2024 17:27 3m 1s main
main
November 17, 2024 17:27 3m 1s
Sync with cvc5 main. CI #555: Pull request #144 synchronize by abdoo8080
November 17, 2024 17:23 3m 28s abdoo8080:sync-latest
abdoo8080:sync-latest
November 17, 2024 17:23 3m 28s
Sync with cvc5 main. CI #554: Pull request #144 opened by abdoo8080
November 17, 2024 16:37 3m 6s abdoo8080:sync-latest
abdoo8080:sync-latest
November 17, 2024 16:37 3m 6s