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

bug fix: Smt rw tactic for empty lists CI #355: Pull request #72 synchronize by mhk119
November 28, 2023 22:51 10m 24s mhk119:smtRw-tactic
mhk119:smtRw-tactic
November 28, 2023 22:51 10m 24s
bug fix SmtRw tactic CI #354: Pull request #71 synchronize by mhk119
November 28, 2023 22:42 7m 38s mhk119:smtRW-tacticNew
mhk119:smtRW-tacticNew
November 28, 2023 22:42 7m 38s
defined and proved bbT CI #353: Pull request #51 synchronize by mhk119
November 28, 2023 22:04 10m 41s mhk119:bitvec
mhk119:bitvec
November 28, 2023 22:04 10m 41s
defined and proved bbT CI #352: Pull request #51 synchronize by mhk119
November 28, 2023 22:01 10m 25s mhk119:bitvec
mhk119:bitvec
November 28, 2023 22:01 10m 25s
defined and proved bbT CI #351: Pull request #51 synchronize by mhk119
November 20, 2023 03:51 10m 21s mhk119:bitvec
mhk119:bitvec
November 20, 2023 03:51 10m 21s
defined and proved bbT CI #350: Pull request #51 synchronize by mhk119
November 17, 2023 08:56 10m 28s mhk119:bitvec
mhk119:bitvec
November 17, 2023 08:56 10m 28s
Syncing Proof Reconstruction (#67) CI #349: Commit 666dbd8 pushed by tomaz1502
November 8, 2023 21:46 15m 50s main
main
November 8, 2023 21:46 15m 50s
Syncing Proof Reconstruction CI #348: Pull request #67 synchronize by tomaz1502
November 8, 2023 21:23 20m 43s tomaz1502:main
tomaz1502:main
November 8, 2023 21:23 20m 43s
Syncing Proof Reconstruction CI #347: Pull request #67 synchronize by tomaz1502
November 8, 2023 20:41 10m 31s tomaz1502:main
tomaz1502:main
November 8, 2023 20:41 10m 31s
Syncing Proof Reconstruction CI #346: Pull request #67 synchronize by tomaz1502
November 8, 2023 20:34 22m 49s tomaz1502:main
tomaz1502:main
November 8, 2023 20:34 22m 49s
Syncing Proof Reconstruction CI #345: Pull request #67 synchronize by tomaz1502
November 8, 2023 20:32 10m 31s tomaz1502:main
tomaz1502:main
November 8, 2023 20:32 10m 31s
FFI with cvc5 CI #344: Pull request #70 synchronize by tomaz1502
November 8, 2023 19:36 7m 27s cvc5Proofs
cvc5Proofs
November 8, 2023 19:36 7m 27s
removing unnecessary do CI #343: Commit 9fe2b63 pushed by tomaz1502
November 8, 2023 19:36 7m 23s cvc5Proofs
cvc5Proofs
November 8, 2023 19:36 7m 23s
Syncing Proof Reconstruction CI #342: Pull request #67 synchronize by tomaz1502
November 8, 2023 18:31 10m 30s tomaz1502:main
tomaz1502:main
November 8, 2023 18:31 10m 30s
defined and proved bbT CI #341: Pull request #51 synchronize by mhk119
November 6, 2023 17:40 14m 22s mhk119:bitvec
mhk119:bitvec
November 6, 2023 17:40 14m 22s
Syncing Proof Reconstruction CI #340: Pull request #67 synchronize by tomaz1502
November 6, 2023 03:42 10m 33s tomaz1502:main
tomaz1502:main
November 6, 2023 03:42 10m 33s
Syncing Proof Reconstruction CI #339: Pull request #67 synchronize by tomaz1502
November 1, 2023 20:08 21m 32s tomaz1502:main
tomaz1502:main
November 1, 2023 20:08 21m 32s
FFI with cvc5 CI #338: Pull request #70 synchronize by tomaz1502
October 25, 2023 14:22 10m 35s cvc5Proofs
cvc5Proofs
October 25, 2023 14:22 10m 35s
fix hidden bug CI #337: Commit d089718 pushed by tomaz1502
October 25, 2023 14:22 10m 52s cvc5Proofs
cvc5Proofs
October 25, 2023 14:22 10m 52s
FFI with cvc5 CI #336: Pull request #70 synchronize by tomaz1502
October 24, 2023 20:45 10m 57s cvc5Proofs
cvc5Proofs
October 24, 2023 20:45 10m 57s
clarifying comment CI #335: Commit 69469e0 pushed by tomaz1502
October 24, 2023 20:45 11m 13s cvc5Proofs
cvc5Proofs
October 24, 2023 20:45 11m 13s
FFI with cvc5 CI #334: Pull request #70 synchronize by tomaz1502
October 24, 2023 20:29 13m 20s cvc5Proofs
cvc5Proofs
October 24, 2023 20:29 13m 20s
clean up CI #333: Commit 34385c4 pushed by tomaz1502
October 24, 2023 20:29 10m 57s cvc5Proofs
cvc5Proofs
October 24, 2023 20:29 10m 57s
FFI with cvc5 CI #332: Pull request #70 synchronize by tomaz1502
October 24, 2023 20:27 13m 6s cvc5Proofs
cvc5Proofs
October 24, 2023 20:27 13m 6s
(hackish) implementation for scope CI #331: Commit 690be60 pushed by tomaz1502
October 24, 2023 20:27 15m 33s cvc5Proofs
cvc5Proofs
October 24, 2023 20:27 15m 33s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.