Skip to content

Actions: ufmg-smite/lean-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
295 workflow runs
295 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Syncing Proof Reconstruction CI #296: Pull request #67 synchronize by tomaz1502
September 14, 2023 21:55 1m 34s tomaz1502:main
tomaz1502:main
September 14, 2023 21:55 1m 34s
Syncing Proof Reconstruction CI #295: Pull request #67 synchronize by tomaz1502
September 14, 2023 21:50 1m 34s tomaz1502:main
tomaz1502:main
September 14, 2023 21:50 1m 34s
Syncing Proof Reconstruction CI #294: Pull request #67 synchronize by tomaz1502
September 14, 2023 21:49 1m 58s tomaz1502:main
tomaz1502:main
September 14, 2023 21:49 1m 58s
Syncing Proof Reconstruction CI #293: Pull request #67 opened by tomaz1502
September 14, 2023 21:44 1m 35s tomaz1502:main
tomaz1502:main
September 14, 2023 21:44 1m 35s
backing up CI #292: Commit 2c99417 pushed by tomaz1502
September 13, 2023 17:30 10m 10s typeClassTranslation
typeClassTranslation
September 13, 2023 17:30 10m 10s
Smt rw tac: Added the import to Smt.Reconstruction.Certifying (#65) CI #291: Commit 8cb2f22 pushed by tomaz1502
September 3, 2023 23:06 8m 33s main
main
September 3, 2023 23:06 8m 33s
Smt rw tac: Added the import to Smt.Reconstruction.Certifying CI #290: Pull request #65 reopened by tomaz1502
September 3, 2023 23:06 10m 13s mhk119:smtRwTac
mhk119:smtRwTac
September 3, 2023 23:06 10m 13s
a (#66) CI #289: Commit ac0cabe pushed by tomaz1502
September 3, 2023 18:55 11m 0s main
main
September 3, 2023 18:55 11m 0s
Added import and made changes to tactic CI #288: Pull request #66 opened by mhk119
September 3, 2023 18:17 9m 2s mhk119:smtRW-tacticNew
mhk119:smtRW-tacticNew
September 3, 2023 18:17 9m 2s
Smt rw tac: Added the import to Smt.Reconstruction.Certifying CI #287: Pull request #65 synchronize by mhk119
September 3, 2023 17:27 8m 14s mhk119:smtRwTac
mhk119:smtRwTac
September 3, 2023 17:27 8m 14s
Smt rw tac: Added the import to Smt.Reconstruction.Certifying CI #286: Pull request #65 synchronize by mhk119
September 3, 2023 17:27 10m 12s mhk119:smtRwTac
mhk119:smtRwTac
September 3, 2023 17:27 10m 12s
Smt rw tac: Added the import to Smt.Reconstruction.Certifying CI #285: Pull request #65 reopened by mhk119
September 3, 2023 17:22 9m 53s mhk119:smtRwTac
mhk119:smtRwTac
September 3, 2023 17:22 9m 53s
defined and proved bbT CI #284: Pull request #51 synchronize by mhk119
September 3, 2023 17:19 9m 45s mhk119:bitvec
mhk119:bitvec
September 3, 2023 17:19 9m 45s
added preprocessing step to rewrite Iff with Eq (#61) CI #283: Commit 8c13acb pushed by tomaz1502
September 1, 2023 02:46 10m 12s main
main
September 1, 2023 02:46 10m 12s
Smt rw tac: Added the import to Smt.Reconstruction.Certifying CI #282: Pull request #65 synchronize by mhk119
August 28, 2023 19:35 10m 11s mhk119:smtRwTac
mhk119:smtRwTac
August 28, 2023 19:35 10m 11s
defined and proved bbT CI #281: Pull request #51 synchronize by mhk119
August 28, 2023 19:28 8m 25s mhk119:bitvec
mhk119:bitvec
August 28, 2023 19:28 8m 25s
SmtRw tactic: Included a hashmap CI #280: Pull request #64 synchronize by mhk119
August 27, 2023 11:21 8m 29s mhk119:smtRw-tactic
mhk119:smtRw-tactic
August 27, 2023 11:21 8m 29s
defined and proved bbT CI #279: Pull request #51 synchronize by mhk119
August 27, 2023 10:03 8m 7s mhk119:bitvec
mhk119:bitvec
August 27, 2023 10:03 8m 7s
SMT rewrite tactic for operators over a list of inputs (#63) CI #278: Commit 936528e pushed by abdoo8080
August 24, 2023 08:22 8m 38s main
main
August 24, 2023 08:22 8m 38s
SMT rewrite tactic for operators over a list of inputs CI #277: Pull request #63 opened by mhk119
August 24, 2023 08:09 10m 27s mhk119:smtRw-tactic
mhk119:smtRw-tactic
August 24, 2023 08:09 10m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-08-24 or the other filters available.