Skip to content

Actions: marcusrossel/lean-egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow run results
76 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add better tracing for proofs Build and Test #76: Commit d9c2c88 pushed by marcusrossel
April 17, 2024 12:36 1m 52s main
main
April 17, 2024 12:36 1m 52s
Skip refl steps in proof generation Build and Test #75: Commit 213f17d pushed by marcusrossel
April 17, 2024 12:09 1m 46s main
main
April 17, 2024 12:09 1m 46s
Split proof reconstruction into two phases Build and Test #74: Commit 4c6888b pushed by marcusrossel
April 17, 2024 11:59 1m 49s main
main
April 17, 2024 11:59 1m 49s
Don't generate tc proj rewrites which only reduce to Expr.proj Build and Test #73: Commit b39c2c2 pushed by marcusrossel
April 17, 2024 10:16 2m 1s main
main
April 17, 2024 10:16 2m 1s
Undo sparse explanations introduced in 7ba9316ecfe007dbe12affaba4dec8… Build and Test #72: Commit 2b09600 pushed by marcusrossel
April 16, 2024 16:11 1m 56s main
main
April 16, 2024 16:11 1m 56s
Improve Request tracing Build and Test #71: Commit dc1add6 pushed by marcusrossel
April 16, 2024 16:05 2m 26s main
main
April 16, 2024 16:05 2m 26s
Add configuration tracing Build and Test #70: Commit 0b2335f pushed by marcusrossel
April 16, 2024 15:50 2m 43s main
main
April 16, 2024 15:50 2m 43s
Add todo about tc proj generation Build and Test #69: Commit 6dfbee2 pushed by marcusrossel
April 16, 2024 13:41 2m 28s main
main
April 16, 2024 13:41 2m 28s
Improve tracing for rewrites Build and Test #68: Commit 8130010 pushed by marcusrossel
April 16, 2024 13:08 3m 5s main
main
April 16, 2024 13:08 3m 5s
Add related work to README Build and Test #67: Commit 25bddeb pushed by marcusrossel
April 16, 2024 10:36 2m 30s main
main
April 16, 2024 10:36 2m 30s
Update README Build and Test #66: Commit b238b5e pushed by marcusrossel
April 16, 2024 10:27 2m 35s main
main
April 16, 2024 10:27 2m 35s
Update README Build and Test #65: Commit 94f1b2a pushed by marcusrossel
April 16, 2024 10:25 2m 27s main
main
April 16, 2024 10:25 2m 27s
Add README Build and Test #64: Commit 3641383 pushed by marcusrossel
April 16, 2024 10:15 2m 26s main
main
April 16, 2024 10:15 2m 26s
Add a version of freshman's dream with a sensible def of pow Build and Test #63: Commit 3b1178e pushed by marcusrossel
April 16, 2024 09:36 2m 29s main
main
April 16, 2024 09:36 2m 29s
Disable backend tracing as it breaks Linux builds Build and Test #62: Commit 2c67b4f pushed by marcusrossel
April 15, 2024 15:31 2m 33s main
main
April 15, 2024 15:31 2m 33s
Add freshman's dream to test cases Build and Test #61: Commit b5df0cd pushed by marcusrossel
April 15, 2024 15:21 50s main
main
April 15, 2024 15:21 50s
Generate tc-proj rws and tc-spec rws recursively until fixed point Build and Test #60: Commit ca33766 pushed by marcusrossel
April 15, 2024 11:35 47s main
main
April 15, 2024 11:35 47s
Add (broken) support for sparse explanations Build and Test #59: Commit 7ba9316 pushed by marcusrossel
April 12, 2024 18:15 41s main
main
April 12, 2024 18:15 41s
Try type class synthesis as a fallback in type class specialization Build and Test #58: Commit fe6d991 pushed by marcusrossel
April 12, 2024 17:18 44s main
main
April 12, 2024 17:18 44s
Change guide syntax to 'using' Build and Test #57: Commit e78fe93 pushed by marcusrossel
April 12, 2024 15:26 43s main
main
April 12, 2024 15:26 43s
Complete support for guides Build and Test #56: Commit d83ed78 pushed by marcusrossel
April 12, 2024 15:19 46s main
main
April 12, 2024 15:19 46s
Add backend support for guides Build and Test #55: Commit f6cc768 pushed by marcusrossel
April 12, 2024 14:04 45s main
main
April 12, 2024 14:04 45s
Enable explanation optimization by default Build and Test #54: Commit e1916f5 pushed by marcusrossel
April 12, 2024 13:16 50s main
main
April 12, 2024 13:16 50s
Implement type class specialization Build and Test #53: Commit 39a1128 pushed by marcusrossel
April 12, 2024 11:58 43s main
main
April 12, 2024 11:58 43s
Update toolchain to 4.7.0 release Build and Test #52: Commit 13ffcb8 pushed by marcusrossel
April 9, 2024 12:02 43s main
main
April 9, 2024 12:02 43s