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

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
Don't create a destination e-graph for eta_shift Build and Test #8: Commit 50987a4 pushed by marcusrossel
March 2, 2024 18:35 1m 22s main
main
March 2, 2024 18:35 1m 22s
Add config option for eta reduction Build and Test #7: Commit d619d47 pushed by marcusrossel
March 2, 2024 17:25 1m 15s main
main
March 2, 2024 17:25 1m 15s
Implement eta-reduction (disabled, untested) Build and Test #6: Commit 95752f7 pushed by marcusrossel
March 1, 2024 17:24 1m 22s main
main
March 1, 2024 17:24 1m 22s
Implement bvar e-class analysis Build and Test #5: Commit f25c46d pushed by marcusrossel
March 1, 2024 13:02 1m 25s main
main
March 1, 2024 13:02 1m 25s
Build and Test Build and Test #4: by marcusrossel
February 29, 2024 14:27 1m 48s main
main
February 29, 2024 14:27 1m 48s
Remove natlit rw name workaround Build and Test #3: Commit bef0c46 pushed by marcusrossel
February 29, 2024 08:58 1m 24s main
main
February 29, 2024 08:58 1m 24s
Add CI mode for test script Build and Test #2: Commit a505de1 pushed by marcusrossel
February 28, 2024 14:57 1m 24s main
main
February 28, 2024 14:57 1m 24s