Skip to content

Actions: billhails/CEKF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
206 workflow runs
206 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update LICENSE.bigint Makefile CI #48: Pull request #32 opened by billhails
December 12, 2023 21:20 17s billhails-patch-3
billhails-patch-3
December 12, 2023 21:20 17s
Merge pull request #31 from billhails/bigint Makefile CI #47: Commit 27c36bd pushed by billhails
December 12, 2023 21:09 18s main
main
December 12, 2023 21:09 18s
Bigints enabled by --bigints command-line option Makefile CI #46: Pull request #31 opened by billhails
December 12, 2023 21:09 16s bigint
bigint
December 12, 2023 21:09 16s
Merge pull request #30 from billhails/pow Makefile CI #45: Commit bc9739c pushed by billhails
December 7, 2023 17:52 17s main
main
December 7, 2023 17:52 17s
added exponentiation ** operator Makefile CI #44: Pull request #30 opened by billhails
December 7, 2023 17:52 16s pow
pow
December 7, 2023 17:52 16s
Merge pull request #29 from billhails/billhails-patch-3 Makefile CI #43: Commit a3cb790 pushed by billhails
December 6, 2023 18:31 13s main
main
December 6, 2023 18:31 13s
Update TODO.md Makefile CI #42: Pull request #29 opened by billhails
December 6, 2023 18:31 20s billhails-patch-3
billhails-patch-3
December 6, 2023 18:31 20s
Merge pull request #28 from billhails/faster-if Makefile CI #41: Commit 621921c pushed by billhails
December 6, 2023 18:28 14s main
main
December 6, 2023 18:28 14s
convert AstIff to LamIff Makefile CI #40: Pull request #28 opened by billhails
December 6, 2023 18:27 18s faster-if
faster-if
December 6, 2023 18:27 18s
Merge pull request #27 from billhails/car-cdr Makefile CI #39: Commit 4faf9ac pushed by billhails
December 5, 2023 08:57 18s main
main
December 5, 2023 08:57 18s
car and cdr and prefix operators for them Makefile CI #38: Pull request #27 opened by billhails
December 5, 2023 08:57 13s car-cdr
car-cdr
December 5, 2023 08:57 13s
Merge pull request #26 from billhails/currying Makefile CI #37: Commit 3683b38 pushed by billhails
December 3, 2023 16:30 12s main
main
December 3, 2023 16:30 12s
got currying working Makefile CI #36: Pull request #26 opened by billhails
December 3, 2023 16:30 17s currying
currying
December 3, 2023 16:30 17s
Merge pull request #25 from billhails/cond-debug Makefile CI #35: Commit 5568506 pushed by billhails
December 2, 2023 14:05 23s main
main
December 2, 2023 14:05 23s
fixed debugging for CexpCond Makefile CI #34: Pull request #25 opened by billhails
December 2, 2023 14:05 15s cond-debug
cond-debug
December 2, 2023 14:05 15s
Merge pull request #24 from billhails/cond-if Makefile CI #33: Commit 1245ce1 pushed by billhails
December 2, 2023 13:30 15s main
main
December 2, 2023 13:30 15s
Replace if with cond in pattern matching Makefile CI #32: Pull request #24 opened by billhails
December 2, 2023 13:30 22s cond-if
cond-if
December 2, 2023 13:30 22s
Merge pull request #23 from billhails/consolidation Makefile CI #31: Commit 97164fc pushed by billhails
November 29, 2023 19:21 14s main
main
November 29, 2023 19:21 14s
Consolidation Makefile CI #30: Pull request #23 opened by billhails
November 29, 2023 19:21 15s consolidation
consolidation
November 29, 2023 19:21 15s
Merge pull request #22 from billhails/anf-conversion Makefile CI #29: Commit cc0e9e2 pushed by billhails
November 26, 2023 16:47 18s main
main
November 26, 2023 16:47 18s
Anf conversion Makefile CI #28: Pull request #22 opened by billhails
November 26, 2023 16:47 17s anf-conversion
anf-conversion
November 26, 2023 16:47 17s
Merge pull request #21 from billhails/billhails-patch-2 Makefile CI #27: Commit 93bfb45 pushed by billhails
November 18, 2023 11:48 16s main
main
November 18, 2023 11:48 16s
Update README.md Makefile CI #26: Pull request #21 opened by billhails
November 18, 2023 11:48 16s billhails-patch-2
billhails-patch-2
November 18, 2023 11:48 16s
Merge pull request #20 from billhails/billhails-patch-1 Makefile CI #25: Commit 9e43c47 pushed by billhails
November 18, 2023 11:31 16s main
main
November 18, 2023 11:31 16s
Update README.md Makefile CI #24: Pull request #20 opened by billhails
November 18, 2023 11:31 17s billhails-patch-1
billhails-patch-1
November 18, 2023 11:31 17s