Skip to content

Actions: marcusrossel/lean-egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
341 workflow runs
341 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: Better facts build & test #344: Pull request #52 synchronize by marcusrossel
January 5, 2025 18:02 4m 46s better-facts
better-facts
January 5, 2025 18:02 4m 46s
WIP: Better facts build & test #343: Pull request #52 synchronize by marcusrossel
January 5, 2025 16:31 4m 58s better-facts
better-facts
January 5, 2025 16:31 4m 58s
WIP: Better facts build & test #342: Pull request #52 synchronize by marcusrossel
January 5, 2025 13:44 4m 19s better-facts
better-facts
January 5, 2025 13:44 4m 19s
WIP: Better facts build & test #341: Pull request #52 opened by marcusrossel
January 5, 2025 12:11 4m 17s better-facts
better-facts
January 5, 2025 12:11 4m 17s
Add infrastructure for running type class synthesis from egg (#50) build & test #340: Commit 98d13bc pushed by marcusrossel
January 2, 2025 12:38 4m 39s main
main
January 2, 2025 12:38 4m 39s
Add infrastructure for running type class synthesis from egg build & test #339: Pull request #50 synchronize by marcusrossel
January 2, 2025 12:33 4m 47s ml47-typeclass-queries
ml47-typeclass-queries
January 2, 2025 12:33 4m 47s
Fix previous breaking change build & test #338: Commit 12971b1 pushed by marcusrossel
December 20, 2024 15:05 4m 44s main
main
December 20, 2024 15:05 4m 44s
Add tests build & test #337: Commit 93b486a pushed by marcusrossel
December 19, 2024 17:59 4m 41s main
main
December 19, 2024 17:59 4m 41s
Remove outdated test case build & test #336: Commit 4acb4b3 pushed by marcusrossel
December 18, 2024 16:30 4m 52s main
main
December 18, 2024 16:30 4m 52s
Correct the definition of visible mvars build & test #335: Commit 37ca9be pushed by marcusrossel
December 18, 2024 14:16 4m 52s main
main
December 18, 2024 14:16 4m 52s
Correct the definitional of visible mvars build & test #334: Commit 11ff29b pushed by marcusrossel
December 18, 2024 14:14 4m 54s main
main
December 18, 2024 14:14 4m 54s
Overhaul the mvar collection system build & test #333: Commit 47aad5b pushed by marcusrossel
December 18, 2024 13:45 4m 41s main
main
December 18, 2024 13:45 4m 41s
Add egg_no_defeq command for testing build & test #332: Commit b2813c6 pushed by marcusrossel
December 15, 2024 11:24 4m 34s main
main
December 15, 2024 11:24 4m 34s
Fix broken test case build & test #331: Commit 56904c6 pushed by marcusrossel
December 15, 2024 11:05 4m 32s main
main
December 15, 2024 11:05 4m 32s
Only return new rewrites from genDerived build & test #330: Commit 48784bf pushed by marcusrossel
December 15, 2024 10:59 4m 42s main
main
December 15, 2024 10:59 4m 42s
Integrate nested splitting and explosion into derived rw gen loop build & test #329: Commit 4a94da0 pushed by marcusrossel
December 14, 2024 14:22 4m 58s main
main
December 14, 2024 14:22 4m 58s
use an egraph analysis to store facts (#48) build & test #328: Commit 427151d pushed by marcusrossel
December 13, 2024 15:13 4m 51s main
main
December 13, 2024 15:13 4m 51s
Refactor rewrite generation build & test #327: Commit 7daafac pushed by marcusrossel
December 13, 2024 15:07 4m 50s main
main
December 13, 2024 15:07 4m 50s
Generate splits for rewrites of the form (. ~ .) ~ (. ~ .) build & test #326: Commit e111b77 pushed by marcusrossel
December 13, 2024 10:17 5m 9s main
main
December 13, 2024 10:17 5m 9s
use an egraph analysis to store the facts build & test #325: Pull request #48 opened by memoryleak47
December 12, 2024 12:35 4m 51s memoryleak47:egraph-analysis-for-facts
memoryleak47:egraph-analysis-for-facts
December 12, 2024 12:35 4m 51s
Add more tests for equality conditions build & test #324: Commit 3f2ec83 pushed by marcusrossel
December 12, 2024 11:25 4m 52s main
main
December 12, 2024 11:25 4m 52s
Add parsing and proof reconstruction for equality facts build & test #323: Commit af1d8f5 pushed by marcusrossel
December 11, 2024 16:31 4m 47s main
main
December 11, 2024 16:31 4m 47s
handle equality conditions by e-graph lookup (#47) build & test #322: Commit 9e23ce9 pushed by marcusrossel
December 11, 2024 15:37 4m 36s main
main
December 11, 2024 15:37 4m 36s
handle equality conditions by e-graph lookup build & test #319: Pull request #47 opened by memoryleak47
December 9, 2024 17:06 Action required memoryleak47:eq-conditions
memoryleak47:eq-conditions
December 9, 2024 17:06 Action required
bump toolchain to v4.15.0-rc1 (#46) build & test #318: Commit 0328db6 pushed by marcusrossel
December 9, 2024 13:04 4m 39s main
main
December 9, 2024 13:04 4m 39s