Skip to content

Actions: leanprover-community/aesop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
390 workflow runs
390 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add TacGen builder Build #247: Commit 831865d pushed by JLimperg
October 10, 2023 11:51 3m 51s master
master
October 10, 2023 11:51 3m 51s
Test/List: remove outdated TODOs Build #246: Commit 2519a2d pushed by JLimperg
October 9, 2023 16:42 4m 32s master
master
October 9, 2023 16:42 4m 32s
fix: use replay from leanprover/lean4#2617 Build #245: Pull request #71 opened by kim-em
October 9, 2023 10:21 3m 54s kim-em:use_replay
kim-em:use_replay
October 9, 2023 10:21 3m 54s
Add New Rule Builder: Tactic Generator Build #244: Pull request #70 opened by yangky11
October 7, 2023 21:24 5m 2s master
master
October 7, 2023 21:24 5m 2s
Fix tests Build #242: Commit 8aa87b3 pushed by JLimperg
October 6, 2023 13:28 3m 39s master
master
October 6, 2023 13:28 3m 39s
Make ext builtin rule unsafe Build #241: Commit 8a796d9 pushed by JLimperg
October 6, 2023 12:59 4m 17s master
master
October 6, 2023 12:59 4m 17s
Partially fix Try this indentation Build #240: Commit 8df48fe pushed by JLimperg
October 6, 2023 12:52 4m 43s master
master
October 6, 2023 12:52 4m 43s
RuleSet: reorder simp theorems array Build #239: Commit 41c6370 pushed by JLimperg
October 3, 2023 11:55 4m 0s master
master
October 3, 2023 11:55 4m 0s
README: document dynamic default rule sets Build #238: Commit fb7bc37 pushed by JLimperg
October 3, 2023 11:04 3m 34s master
master
October 3, 2023 11:04 3m 34s
Add option to disable unfold norm rule Build #237: Commit 70026c2 pushed by JLimperg
October 2, 2023 17:15 3m 48s master
master
October 2, 2023 17:15 3m 48s
DestructProducts: fix incorrect mvar handling Build #236: Commit 0194095 pushed by JLimperg
October 2, 2023 15:21 3m 57s master
master
October 2, 2023 15:21 3m 57s
Bump to Lean v4.0.0 Build #235: Commit 4f8b397 pushed by JLimperg
September 8, 2023 22:42 3m 44s master
master
September 8, 2023 22:42 3m 44s
README: mention that aesop? isn't fully functional Build #234: Commit 78cb1c3 pushed by JLimperg
September 8, 2023 22:04 3m 56s master
master
September 8, 2023 22:04 3m 56s
README: improve docs for erasing Build #233: Commit c4ca693 pushed by JLimperg
September 6, 2023 16:14 4m 2s master
master
September 6, 2023 16:14 4m 2s
Fix erasing of unfold rules Build #232: Commit 572947f pushed by JLimperg
September 5, 2023 20:58 4m 14s master
master
September 5, 2023 20:58 4m 14s
SimpAll: wrap core's simpAll impl Build #231: Commit 8365a0e pushed by JLimperg
August 30, 2023 12:42 3m 48s master
master
August 30, 2023 12:42 3m 48s
Bump to v4.0.0-rc4 Build #230: Commit 1a0cded pushed by JLimperg
August 30, 2023 11:47 4m 42s master
master
August 30, 2023 11:47 4m 42s
chore: update to v4.0.0-rc4 Build #229: Pull request #67 opened by kim-em
August 30, 2023 10:59 3m 59s kim-em:v4.0.0-rc4
kim-em:v4.0.0-rc4
August 30, 2023 10:59 3m 59s
chore: update to v4.0.0-rc3 Build #228: Pull request #66 synchronize by kim-em
August 30, 2023 06:05 3m 33s kim-em:v4.0.0-rc3
kim-em:v4.0.0-rc3
August 30, 2023 06:05 3m 33s
chore: update to v4.0.0-rc3 Build #227: Pull request #66 opened by kim-em
August 29, 2023 22:39 4m 32s kim-em:v4.0.0-rc3
kim-em:v4.0.0-rc3
August 29, 2023 22:39 4m 32s
Move everything into Aesop namespace Build #226: Commit 8aa27f2 pushed by JLimperg
August 22, 2023 17:04 4m 20s master
master
August 22, 2023 17:04 4m 20s
Document (lack of) priority for unfold rules Build #225: Commit 7119e2c pushed by JLimperg
August 22, 2023 16:30 3m 43s master
master
August 22, 2023 16:30 3m 43s
Document priority for simp rules Build #224: Commit 2afb0ac pushed by JLimperg
August 22, 2023 16:29 5m 22s master
master
August 22, 2023 16:29 5m 22s
BuiltinRules.Intros: missing withContext Build #223: Commit b6f2b26 pushed by JLimperg
August 22, 2023 15:51 3m 54s master
master
August 22, 2023 15:51 3m 54s
chore: bump to nightly-2023-08-19 Build #222: Commit 48f45f0 pushed by JLimperg
August 22, 2023 09:30 3m 56s master
master
August 22, 2023 09:30 3m 56s
ProTip! You can narrow down the results and go further in time using created:<2023-08-22 or the other filters available.