Skip to content

Actions: leanprover/LNSym

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,426 workflow runs
3,426 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add new syntax for guided simp_mem Makefile CI #2620: Commit 0261110 pushed by bollu
October 31, 2024 22:15 19m 13s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 31, 2024 22:15 19m 13s
feat: Add fine grained control over mem_omega rewriting [7/?] (#238) Makefile CI #2619: Commit 619ef75 pushed by shigoel
October 31, 2024 21:59 17m 51s main
main
October 31, 2024 21:59 17m 51s
feat: Add fine grained control over mem_omega rewriting [7/?] (#238) docs #149: Commit 619ef75 pushed by shigoel
October 31, 2024 21:59 7m 1s main
main
October 31, 2024 21:59 7m 1s
feat: enable simp_mem to be used in ITP style [8/?] Check for copyright header #416: Pull request #240 synchronize by bollu
October 31, 2024 21:06 18s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 31, 2024 21:06 18s
feat: enable simp_mem to be used in ITP style [8/?] Makefile CI #2618: Pull request #240 synchronize by bollu
October 31, 2024 21:06 18m 24s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 31, 2024 21:06 18m 24s
feat: add new syntax for guided simp_mem Makefile CI #2617: Commit d5e9bdb pushed by bollu
October 31, 2024 21:06 19m 0s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 31, 2024 21:06 19m 0s
feat: Add fine grained control over mem_omega rewriting [7/?] Check for copyright header #415: Pull request #238 synchronize by shigoel
October 31, 2024 20:52 1m 30s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 20:52 1m 30s
feat: Add fine grained control over mem_omega rewriting [7/?] Makefile CI #2616: Pull request #238 synchronize by shigoel
October 31, 2024 20:52 18m 50s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 20:52 18m 50s
Merge branch 'main' into simp-mem-mem-omega-7 Makefile CI #2615: Commit 7eb8a33 pushed by shigoel
October 31, 2024 20:52 18m 12s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 20:52 18m 12s
refactor: rephrase the register frame-condition precondition as non-m… Makefile CI #2614: Commit a4d2552 pushed by shigoel
October 31, 2024 20:52 19m 45s main
main
October 31, 2024 20:52 19m 45s
refactor: rephrase the register frame-condition precondition as non-m… docs #148: Commit a4d2552 pushed by shigoel
October 31, 2024 20:52 6m 20s main
main
October 31, 2024 20:52 6m 20s
refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers Makefile CI #2613: Pull request #242 synchronize by shigoel
October 31, 2024 20:14 17m 59s register-frame-condition-refactor
register-frame-condition-refactor
October 31, 2024 20:14 17m 59s
refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers Check for copyright header #414: Pull request #242 synchronize by shigoel
October 31, 2024 20:14 20s register-frame-condition-refactor
register-frame-condition-refactor
October 31, 2024 20:14 20s
Merge branch 'main' into register-frame-condition-refactor Makefile CI #2612: Commit 0b64259 pushed by shigoel
October 31, 2024 20:14 18m 23s register-frame-condition-refactor
register-frame-condition-refactor
October 31, 2024 20:14 18m 23s
feat: Add fine grained control over mem_omega rewriting [7/?] Check for copyright header #413: Pull request #238 synchronize by bollu
October 31, 2024 19:53 16s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 19:53 16s
feat: Add fine grained control over mem_omega rewriting [7/?] Makefile CI #2611: Pull request #238 synchronize by bollu
October 31, 2024 19:53 19m 19s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 19:53 19m 19s
chore: Give mem_omega only [h1, ... hn] control [7/?] Makefile CI #2610: Commit 0151df0 pushed by bollu
October 31, 2024 19:53 19m 55s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 19:53 19m 55s
feat: Add fine grained control over mem_omega rewriting [7/?] Makefile CI #2609: Pull request #238 synchronize by bollu
October 31, 2024 19:51 21m 24s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 19:51 21m 24s
feat: Add fine grained control over mem_omega rewriting [7/?] Check for copyright header #412: Pull request #238 synchronize by bollu
October 31, 2024 19:51 25s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 19:51 25s
chore: Give mem_omega only [h1, ... hn] control [7/?] Makefile CI #2608: Commit ec8d4a8 pushed by bollu
October 31, 2024 19:51 18m 45s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 19:51 18m 45s
Merge pull request #237 from leanprover/simp-mem-mem-omega-6 docs #147: Commit 5eb5fa9 pushed by bollu
October 31, 2024 19:48 6m 7s main
main
October 31, 2024 19:48 6m 7s
Merge pull request #237 from leanprover/simp-mem-mem-omega-6 Makefile CI #2607: Commit 5eb5fa9 pushed by bollu
October 31, 2024 19:48 20m 49s main
main
October 31, 2024 19:48 20m 49s
feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] Makefile CI #2606: Pull request #237 synchronize by bollu
October 31, 2024 19:28 19m 17s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 31, 2024 19:28 19m 17s
feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] Check for copyright header #411: Pull request #237 synchronize by bollu
October 31, 2024 19:28 20s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 31, 2024 19:28 20s
chore: cleanup Makefile CI #2605: Commit aae38de pushed by bollu
October 31, 2024 19:28 19m 22s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 31, 2024 19:28 19m 22s