Skip to content

Actions: marcusrossel/lean-egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
297 workflow runs
297 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Track rewrite stats in report (egg only) build & test #298: Commit c363a09 pushed by marcusrossel
November 12, 2024 10:20 4m 11s main
main
November 12, 2024 10:20 4m 11s
Add eta expansion (disabled by default) build & test #297: Commit ee40d5d pushed by marcusrossel
November 12, 2024 09:04 4m 17s main
main
November 12, 2024 09:04 4m 17s
Rename defeq options build & test #296: Commit 5b449b3 pushed by marcusrossel
November 12, 2024 07:43 4m 7s main
main
November 12, 2024 07:43 4m 7s
Add small-step substitution to slotted backend (not activated) build & test #295: Commit 38bc18f pushed by marcusrossel
November 11, 2024 17:15 4m 14s main
main
November 11, 2024 17:15 4m 14s
Add subst/shift erasing rules for egg build & test #294: Commit 6e6c8d8 pushed by marcusrossel
November 11, 2024 14:49 4m 1s main
main
November 11, 2024 14:49 4m 1s
Replace shift loop detection in egg with loose bvar e-class analysis … build & test #293: Commit e2f2596 pushed by marcusrossel
November 11, 2024 09:50 4m 1s main
main
November 11, 2024 09:50 4m 1s
Add explanation length limiting build & test #292: Commit 103de29 pushed by marcusrossel
November 10, 2024 18:04 4m 15s main
main
November 10, 2024 18:04 4m 15s
Update rotman test build & test #291: Commit 5fd905d pushed by marcusrossel
November 10, 2024 16:29 4m 2s main
main
November 10, 2024 16:29 4m 2s
Add intersection semantics for loos bvar analysis in egg build & test #290: Commit 1be8a3a pushed by marcusrossel
November 8, 2024 16:38 4m 3s main
main
November 8, 2024 16:38 4m 3s
Add invalid match checking for slotted e-graphs (fixes previously bro… build & test #289: Commit ad0c4bb pushed by marcusrossel
November 6, 2024 17:24 4m 5s main
main
November 6, 2024 17:24 4m 5s
Add Mathlib Examples (#42) build & test #288: Commit f84165d pushed by marcusrossel
November 6, 2024 13:23 4m 2s main
main
November 6, 2024 13:23 4m 2s
Mathlib Examples build & test #287: Pull request #42 synchronize by goens
November 6, 2024 08:01 4m 6s flatten-examples
flatten-examples
November 6, 2024 08:01 4m 6s
Mathlib Examples build & test #286: Pull request #42 synchronize by goens
November 6, 2024 07:27 4m 0s flatten-examples
flatten-examples
November 6, 2024 07:27 4m 0s
Mathlib Examples build & test #285: Pull request #42 synchronize by goens
November 6, 2024 07:13 4m 14s flatten-examples
flatten-examples
November 6, 2024 07:13 4m 14s
Mathlib Examples build & test #284: Pull request #42 opened by goens
November 6, 2024 07:11 5m 4s flatten-examples
flatten-examples
November 6, 2024 07:11 5m 4s
Update to Lean v4.14.0-rc1 build & test #283: Commit c57225d pushed by marcusrossel
November 5, 2024 08:05 4m 6s main
main
November 5, 2024 08:05 4m 6s
Fix bug in slotted applier build & test #282: Commit 7af8712 pushed by marcusrossel
November 4, 2024 16:56 4m 15s main
main
November 4, 2024 16:56 4m 15s
Bump Lean version to v4.13.0 and add test cases build & test #281: Commit 5f987ad pushed by marcusrossel
November 4, 2024 13:57 3m 56s main
main
November 4, 2024 13:57 3m 56s
Move to slotted-egraphs v0.0.24 build & test #280: Commit 67b55ab pushed by marcusrossel
November 4, 2024 13:21 4m 11s main
main
November 4, 2024 13:21 4m 11s
Complete integration of slotted e-graphs build & test #279: Commit a7fec35 pushed by marcusrossel
November 4, 2024 13:16 5m 0s main
main
November 4, 2024 13:16 5m 0s
Add failing test case for slotted e-graphs build & test #278: Commit b8edc1c pushed by marcusrossel
November 4, 2024 11:06 42s main
main
November 4, 2024 11:06 42s
Add parsing for slotted e-graph explanations build & test #277: Commit d9545c6 pushed by marcusrossel
November 4, 2024 08:35 39s main
main
November 4, 2024 08:35 39s
Refactor explanation parsing to accommodate slotted e-graphs build & test #276: Commit 80ceb4a pushed by marcusrossel
November 3, 2024 16:41 38s main
main
November 3, 2024 16:41 38s
Accommodate slotted e-graphs in FFI build & test #275: Commit c276792 pushed by marcusrossel
November 3, 2024 15:36 3m 54s main
main
November 3, 2024 15:36 3m 54s
Add encoding for slotted e-graphs build & test #274: Commit c5b987b pushed by marcusrossel
November 1, 2024 12:34 4m 3s main
main
November 1, 2024 12:34 4m 3s