Skip to content

Actions: marcusrossel/lean-egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
408 workflow runs
408 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Impement blocking of invalid matches Build and Test #33: Commit 3a20fe7 pushed by marcusrossel
March 26, 2024 18:06 1m 58s main
main
March 26, 2024 18:06 1m 58s
Update invalid bvar capture code (incomplete) Build and Test #32: Commit 04a56a3 pushed by marcusrossel
March 26, 2024 14:01 1m 58s main
main
March 26, 2024 14:01 1m 58s
Add option for shifting captured bound variables to avoid invalid cap… Build and Test #31: Commit 6960e19 pushed by marcusrossel
March 26, 2024 10:20 1m 59s main
main
March 26, 2024 10:20 1m 59s
Fix test case Build and Test #30: Commit bee535f pushed by marcusrossel
March 14, 2024 09:27 2m 4s main
main
March 14, 2024 09:27 2m 4s
Fix test case Build and Test #29: Commit 424bf31 pushed by marcusrossel
March 14, 2024 09:23 1m 49s main
main
March 14, 2024 09:23 1m 49s
Add defeq rewrites for internalized function on Nat Build and Test #28: Commit 446ec07 pushed by marcusrossel
March 7, 2024 13:01 1m 53s main
main
March 7, 2024 13:01 1m 53s
Add breaking test case for eta Build and Test #27: Commit d891b44 pushed by marcusrossel
March 7, 2024 11:11 1m 58s main
main
March 7, 2024 11:11 1m 58s
beta- and eta-reduce rewrites Build and Test #26: Commit 1da5a9d pushed by marcusrossel
March 7, 2024 10:59 1m 58s main
main
March 7, 2024 10:59 1m 58s
Merge the core of beta- and eta-reduction into 'replace_loose_bvars' Build and Test #25: Commit b3df74b pushed by marcusrossel
March 7, 2024 09:13 1m 51s main
main
March 7, 2024 09:13 1m 51s
Enable beta-reduction by default Build and Test #24: Commit 3f6f9f6 pushed by marcusrossel
March 6, 2024 14:13 1m 55s main
main
March 6, 2024 14:13 1m 55s
Cache shifted arg classes during beta reduction Build and Test #23: Commit 584e120 pushed by marcusrossel
March 6, 2024 14:03 1m 52s main
main
March 6, 2024 14:03 1m 52s
Implement beta reduction Build and Test #22: Commit 1cc5a73 pushed by marcusrossel
March 6, 2024 13:43 1m 55s main
main
March 6, 2024 13:43 1m 55s
Fix type of 'explainCongr' to match C function Build and Test #21: Commit 8cf1955 pushed by marcusrossel
March 6, 2024 12:37 2m 11s main
main
March 6, 2024 12:37 2m 11s
Move to Lean version 4.7.0-rc1 Build and Test #20: Commit 96e97aa pushed by marcusrossel
March 6, 2024 12:30 1m 55s main
main
March 6, 2024 12:30 1m 55s
Print errors on failure in test script when in CI-mode Build and Test #19: Commit 22adb7b pushed by marcusrossel
March 6, 2024 12:22 2m 34s main
main
March 6, 2024 12:22 2m 34s
Change names of defeq rewrites Build and Test #18: Commit 2ac9661 pushed by marcusrossel
March 6, 2024 12:10 2m 30s main
main
March 6, 2024 12:10 2m 30s
Outline code for beta reduction Build and Test #17: Commit 12524ed pushed by marcusrossel
March 6, 2024 12:03 2m 49s main
main
March 6, 2024 12:03 2m 49s
Use egg options in test files Build and Test #16: Commit cb150f4 pushed by marcusrossel
March 6, 2024 10:44 2m 25s main
main
March 6, 2024 10:44 2m 25s
Remove debug config from option set Build and Test #15: Commit b26050b pushed by marcusrossel
March 6, 2024 10:36 2m 31s main
main
March 6, 2024 10:36 2m 31s
Make configuration option-based with inline as modifier Build and Test #14: Commit 0041972 pushed by marcusrossel
March 6, 2024 10:31 2m 34s main
main
March 6, 2024 10:31 2m 34s
Add tests Build and Test #13: Commit 9bc07a3 pushed by marcusrossel
March 5, 2024 20:38 2m 53s main
main
March 5, 2024 20:38 2m 53s
Comment out rust debug tracing code Build and Test #12: Commit 50d2c0e pushed by marcusrossel
March 5, 2024 15:00 1m 24s main
main
March 5, 2024 15:00 1m 24s
Add to eta-reduction test cases Build and Test #11: Commit 24b5c02 pushed by marcusrossel
March 5, 2024 14:52 59s main
main
March 5, 2024 14:52 59s
Fix eta-reduction with Andrés' forward-recursion approach for e-class… Build and Test #10: Commit 54d842d pushed by marcusrossel
March 5, 2024 14:34 1m 2s main
main
March 5, 2024 14:34 1m 2s
Add another 'unexpected end of input' workaround Build and Test #9: Commit 30fb7f5 pushed by marcusrossel
March 2, 2024 18:43 1m 15s main
main
March 2, 2024 18:43 1m 15s
ProTip! You can narrow down the results and go further in time using created:<2024-03-02 or the other filters available.