Skip to content

Actions: ufmg-smite/lean-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
287 workflow runs
287 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Extend s-expr DSL for better pattern-matching and improve Parser perf… CI #553: Commit a02090d pushed by abdoo8080
November 17, 2024 04:23 2m 56s main
main
November 17, 2024 04:23 2m 56s
Extend s-expr DSL for better pattern-matching. CI #552: Pull request #139 synchronize by abdoo8080
November 17, 2024 04:19 3m 7s abdoo8080:sexp
abdoo8080:sexp
November 17, 2024 04:19 3m 7s
Update toolchain to 4.13. (#143) CI #551: Commit 4803bab pushed by abdoo8080
November 17, 2024 03:33 4m 31s main
main
November 17, 2024 03:33 4m 31s
Update toolchain to 4.13. CI #550: Pull request #143 synchronize by abdoo8080
November 17, 2024 03:29 3m 46s abdoo8080:bitvec-fix
abdoo8080:bitvec-fix
November 17, 2024 03:29 3m 46s
Update toolchain to 4.13. CI #549: Pull request #143 synchronize by abdoo8080
November 17, 2024 03:25 8m 2s abdoo8080:bitvec-fix
abdoo8080:bitvec-fix
November 17, 2024 03:25 8m 2s
Update toolchain to 4.13. CI #548: Pull request #143 opened by abdoo8080
November 17, 2024 03:24 4m 52s abdoo8080:bitvec-fix
abdoo8080:bitvec-fix
November 17, 2024 03:24 4m 52s
Update name of getLsb_cons to getLsbD_cons (#142) CI #547: Commit c44eeef pushed by abdoo8080
November 17, 2024 02:39 4m 51s main
main
November 17, 2024 02:39 4m 51s
Update name of getLsb_cons to getLsbD_cons CI #546: Pull request #142 opened by tomaz1502
November 14, 2024 14:25 6m 4s fix/4_12_getLsb
fix/4_12_getLsb
November 14, 2024 14:25 6m 4s