Skip to content

Actions: billhails/CEKF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #174 from billhails/closure-convert Makefile CI #330: Commit e8975de pushed by billhails
1m 5s main
main
1m 5s
Closure convert Makefile CI #329: Pull request #174 opened by billhails
1m 6s closure-convert
closure-convert
1m 6s
Merge pull request #173 from billhails/take-drop Makefile CI #328: Commit 1c7a312 pushed by billhails
53s main
main
53s
generated take and drop functions for lists Makefile CI #327: Pull request #173 opened by billhails
1m 7s take-drop
take-drop
1m 7s
Merge pull request #172 from billhails/curry Makefile CI #326: Commit 25fd221 pushed by billhails
1m 4s main
main
1m 4s
Curry and Uncurry Makefile CI #325: Pull request #172 opened by billhails
1m 4s curry
curry
1m 4s
Merge pull request #171 from billhails/free-variables Makefile CI #324: Commit 1ea9674 pushed by billhails
57s main
main
57s
Added a minlam_freeVars utility visitor Makefile CI #323: Pull request #171 opened by billhails
1m 5s free-variables
free-variables
1m 5s
Merge pull request #170 from billhails/clean-up Makefile CI #322: Commit 270936d pushed by billhails
1m 0s main
main
1m 0s
renamed legacy lambda to minlam Makefile CI #321: Pull request #170 opened by billhails
1m 5s clean-up
clean-up
1m 5s
Update lambda transformation steps in README Makefile CI #320: Commit 248218a pushed by billhails
1m 1s main
main
1m 1s
Merge pull request #169 from billhails/canon Makefile CI #319: Commit ee1e629 pushed by billhails
59s main
main
59s
new "canon" operator allows us to mostly simplify gcd and lcm Makefile CI #318: Pull request #169 opened by billhails
1m 0s canon
canon
1m 0s
Merge pull request #168 from billhails/gcd-lcm Makefile CI #317: Commit ce8a0b2 pushed by billhails
58s main
main
58s
Added gcd and lcm primitives across all integer types: Z, Z[i], Q, Q[i] and Z[Q[i]] Makefile CI #316: Pull request #168 opened by billhails
1m 1s gcd-lcm
gcd-lcm
1m 1s
Merge pull request #167 from billhails/arithmetic Makefile CI #315: Commit e9f35de pushed by billhails
49s main
main
49s
Arithmetic rewrite Makefile CI #314: Pull request #167 opened by billhails
59s arithmetic
arithmetic
59s
Merge pull request #166 from billhails/beta-reduce Makefile CI #313: Commit b675e2d pushed by billhails
54s main
main
54s
Beta reduce Makefile CI #312: Pull request #166 synchronize by billhails
59s beta-reduce
beta-reduce
59s
Beta reduce Makefile CI #311: Pull request #166 opened by billhails
34s beta-reduce
beta-reduce
34s
Merge pull request #164 from billhails/simple-lambda Makefile CI #310: Commit 13b0d62 pushed by billhails
39s main
main
39s
Simple lambda Makefile CI #309: Pull request #164 synchronize by billhails
45s simple-lambda
simple-lambda
45s
Simple lambda Makefile CI #308: Pull request #164 synchronize by billhails
26s simple-lambda
simple-lambda
26s
Simple lambda Makefile CI #307: Pull request #164 synchronize by billhails
23s simple-lambda
simple-lambda
23s
Simple lambda Makefile CI #306: Pull request #164 opened by billhails
30s simple-lambda
simple-lambda
30s