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

Breakdown proof reconstruction file. (#81) CI #380: Commit 8e98543 pushed by abdoo8080
March 5, 2024 18:44 12m 36s main
main
March 5, 2024 18:44 12m 36s
Breakdown proof reconstruction file. CI #379: Pull request #81 synchronize by abdoo8080
March 5, 2024 18:01 12m 53s abdoo8080:integration
abdoo8080:integration
March 5, 2024 18:01 12m 53s
Breakdown proof reconstruction file. CI #378: Pull request #81 opened by abdoo8080
March 5, 2024 16:48 12m 47s abdoo8080:integration
abdoo8080:integration
March 5, 2024 16:48 12m 47s
Replace Rat with Real and stop unfolding type class instantiations. (… CI #377: Commit d529a59 pushed by abdoo8080
March 5, 2024 16:46 9m 47s main
main
March 5, 2024 16:46 9m 47s
Replace Rat with Real and stop unfolding type class instantiations. CI #376: Pull request #80 opened by abdoo8080
March 3, 2024 15:41 9m 39s abdoo8080:integration
abdoo8080:integration
March 3, 2024 15:41 9m 39s
Add minimum support for BitVec. (#79) CI #375: Commit f8cfd76 pushed by abdoo8080
February 27, 2024 14:30 4m 14s main
main
February 27, 2024 14:30 4m 14s
Add minimum support for BitVec. CI #374: Pull request #79 opened by abdoo8080
February 27, 2024 01:24 4m 14s abdoo8080:integration
abdoo8080:integration
February 27, 2024 01:24 4m 14s
Initial Non-linear arithmetic + Porting Rat to Real (#73) CI #373: Commit 25beb64 pushed by abdoo8080
February 26, 2024 19:52 4m 47s main
main
February 26, 2024 19:52 4m 47s
Initial Non-linear arithmetic + Porting Rat to Real CI #372: Pull request #73 synchronize by abdoo8080
February 26, 2024 19:46 4m 8s tomaz1502:main
tomaz1502:main
February 26, 2024 19:46 4m 8s
Initial Non-linear arithmetic + Porting Rat to Real CI #371: Pull request #73 synchronize by abdoo8080
February 26, 2024 19:44 3m 57s tomaz1502:main
tomaz1502:main
February 26, 2024 19:44 3m 57s
Initial Non-linear arithmetic + Porting Rat to Real CI #370: Pull request #73 synchronize by abdoo8080
February 26, 2024 19:36 4m 18s tomaz1502:main
tomaz1502:main
February 26, 2024 19:36 4m 18s
Add initial support for skolems. (#78) CI #369: Commit b3c3b41 pushed by abdoo8080
February 26, 2024 16:14 4m 10s main
main
February 26, 2024 16:14 4m 10s
Add initial support for skolems. CI #368: Pull request #78 opened by abdoo8080
February 26, 2024 16:08 4m 16s abdoo8080:integration
abdoo8080:integration
February 26, 2024 16:08 4m 16s
Utilize FFI to reconstruct cvc5 proofs in Lean. (#77) CI #367: Commit b197dcb pushed by abdoo8080
January 25, 2024 20:28 4m 19s main
main
January 25, 2024 20:28 4m 19s
Utilize FFI to reconstruct cvc5 proofs in Lean. CI #366: Pull request #77 synchronize by abdoo8080
January 25, 2024 20:16 4m 7s abdoo8080:integration
abdoo8080:integration
January 25, 2024 20:16 4m 7s
Utilize FFI to reconstruct cvc5 proofs in Lean. CI #365: Pull request #77 synchronize by abdoo8080
January 25, 2024 19:40 4m 5s abdoo8080:integration
abdoo8080:integration
January 25, 2024 19:40 4m 5s
Utilize FFI to reconstruct cvc5 proofs in Lean. CI #364: Pull request #77 opened by abdoo8080
January 25, 2024 19:33 3m 0s abdoo8080:integration
abdoo8080:integration
January 25, 2024 19:33 3m 0s
rewrite tactic (#76) CI #363: Commit a5989cc pushed by abdoo8080
January 16, 2024 04:36 9m 1s main
main
January 16, 2024 04:36 9m 1s
Changes to smtRw tactic. CI #362: Pull request #76 opened by mhk119
January 16, 2024 04:29 9m 9s mhk119:smtRw-tactic2
mhk119:smtRw-tactic2
January 16, 2024 04:29 9m 9s
Reorganize components. (#75) CI #361: Commit 37222db pushed by abdoo8080
January 16, 2024 00:24 1m 11s main
main
January 16, 2024 00:24 1m 11s
Reorganize components. CI #360: Pull request #75 synchronize by abdoo8080
January 16, 2024 00:23 1m 22s abdoo8080:integration
abdoo8080:integration
January 16, 2024 00:23 1m 22s
Reorganize components. CI #359: Pull request #75 opened by abdoo8080
January 16, 2024 00:20 9m 2s abdoo8080:integration
abdoo8080:integration
January 16, 2024 00:20 9m 2s
Initial Non-linear arithmetic + Porting Rat to Real CI #358: Pull request #73 opened by tomaz1502
November 30, 2023 23:13 12m 6s tomaz1502:main
tomaz1502:main
November 30, 2023 23:13 12m 6s
defined and proved bbT CI #357: Pull request #51 synchronize by mhk119
November 29, 2023 00:23 10m 26s mhk119:bitvec
mhk119:bitvec
November 29, 2023 00:23 10m 26s
bug fix: Smt rw tactic for empty lists CI #356: Pull request #72 synchronize by mhk119
November 28, 2023 22:59 10m 27s mhk119:smtRw-tactic
mhk119:smtRw-tactic
November 28, 2023 22:59 10m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-11-28 or the other filters available.