Skip to content

Actions: Ailrun/lambdacomp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add more partial application examples Build and Test #33: Commit 5064929 pushed by Ailrun
3m 9s master
master
3m 9s
Use CBPV pretty printer for its type errors as well Build and Test #32: Commit 755bc89 pushed by Ailrun
2m 40s master
master
2m 40s
Add CBPV pretty printer for easier testing Build and Test #31: Commit 57844c6 pushed by Ailrun
1m 45s master
master
1m 45s
Add exit code at the end Build and Test #30: Commit 2beaf0b pushed by Ailrun
2m 29s master
master
2m 29s
Add Fib100 example that overflows Build and Test #29: Commit 36a944a pushed by Ailrun
2m 37s master
master
2m 37s
Apply optimization recursively Build and Test #28: Commit ed971db pushed by Ailrun
2m 23s master
master
2m 23s
Implement simple arity analysis Build and Test #27: Commit b6d186e pushed by Ailrun
2m 28s master
master
2m 28s
Check integer last top def Build and Test #26: Commit bec95e9 pushed by Ailrun
2m 34s master
master
2m 34s
Improve code style Build and Test #25: Commit c52e7fc pushed by Ailrun
2m 17s master
master
2m 17s
Add a goal for a module system Build and Test #24: Commit 9b9bdf0 pushed by Ailrun
2m 31s master
master
2m 31s
Restructure a bit Build and Test #23: Commit 90c8005 pushed by Ailrun
2m 36s master
master
2m 36s
Clean up README goals Build and Test #22: Commit 12298a5 pushed by Ailrun
2m 32s master
master
2m 32s
Fix flush timing Build and Test #21: Commit c2e8769 pushed by Ailrun
2m 46s master
master
2m 46s
Add type checking between passes Build and Test #20: Commit ecb9487 pushed by Ailrun
2m 31s master
master
2m 31s
Make globals explicit Build and Test #19: Commit ce062e8 pushed by Ailrun
2m 32s master
master
2m 32s
Implement InlineBinding and DeadBindingElimination Build and Test #18: Commit 2bc493b pushed by Ailrun
2m 45s master
master
2m 45s
Use a different Prog formulation Build and Test #17: Commit c4165e3 pushed by Ailrun
2m 23s master
master
2m 23s
Fix test infrastructure to check C output Build and Test #16: Commit 8c5fccd pushed by Ailrun
3m 14s master
master
3m 14s
Add tests for CBPV ASTs Build and Test #15: Commit 1cc8a77 pushed by Ailrun
2m 22s master
master
2m 22s
Initialize devcontainer.json Build and Test #14: Commit 4c5a07f pushed by Ailrun
2m 29s master
master
2m 29s
Add tests Build and Test #13: Commit 865f3fe pushed by Ailrun
2m 39s master
master
2m 39s
Add elaboration phase Build and Test #12: Commit dce5221 pushed by Ailrun
4m 32s master
master
4m 32s
Use parser instead of hard-coded examples Build and Test #11: Commit 3af2e8c pushed by Ailrun
2m 21s master
master
2m 21s
Clarify the punchline Build and Test #10: Commit f3d4d28 pushed by Ailrun
2m 23s master
master
2m 23s
Update README.md Build and Test #9: Commit ec7100f pushed by Ailrun
2m 23s master
master
2m 23s