Skip to content

Actions: andrejbauer/partial-combinatory-algebras

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip: S combinator in first Kleene algebra Compile blueprint #44: Commit 8a97af1 pushed by andrejbauer
January 6, 2025 15:13 1m 42s main
main
January 6, 2025 15:13 1m 42s
wip: S combinator for first Kleene algebra Compile blueprint #43: Commit 57656f2 pushed by andrejbauer
January 5, 2025 22:19 11m 43s main
main
January 5, 2025 22:19 11m 43s
wip: First Kleene algebra Compile blueprint #42: Commit 9034b20 pushed by andrejbauer
January 3, 2025 16:43 10m 48s main
main
January 3, 2025 16:43 10m 48s
wip: first Kleene algebra Compile blueprint #41: Commit 8a72b03 pushed by andrejbauer
January 3, 2025 12:35 1m 29s main
main
January 3, 2025 12:35 1m 29s
update blueprint Compile blueprint #40: Commit 854b051 pushed by andrejbauer
December 31, 2024 14:38 10m 15s main
main
December 31, 2024 14:38 10m 15s
Graph model finished. Compile blueprint #39: Commit 73418c6 pushed by andrejbauer
December 31, 2024 12:40 10m 46s main
main
December 31, 2024 12:40 10m 46s
wip: graph model, continuity lemmas Compile blueprint #38: Commit e5d916a pushed by andrejbauer
December 30, 2024 14:55 10m 19s main
main
December 30, 2024 14:55 10m 19s
wip: graph model Compile blueprint #37: Commit 33e1f8b pushed by andrejbauer
December 30, 2024 11:34 10m 14s main
main
December 30, 2024 11:34 10m 14s
wip: graph model Compile blueprint #36: Commit 2b16ac3 pushed by andrejbauer
December 30, 2024 00:37 10m 34s main
main
December 30, 2024 00:37 10m 34s
wip: graph model Compile blueprint #35: Commit 4823ab4 pushed by andrejbauer
December 30, 2024 00:24 11m 27s main
main
December 30, 2024 00:24 11m 27s
Definition of C-monoid. Compile blueprint #34: Commit f6ad835 pushed by andrejbauer
December 11, 2024 15:04 11m 16s main
main
December 11, 2024 15:04 11m 16s
Fix \uses clauses. Compile blueprint #33: Commit a33776b pushed by andrejbauer
December 11, 2024 14:09 10m 20s main
main
December 11, 2024 14:09 10m 20s
Free CA Compile blueprint #32: Commit c69eb36 pushed by andrejbauer
December 11, 2024 12:54 10m 49s main
main
December 11, 2024 12:54 10m 49s
Move PCAs to separate file, define CAs. Compile blueprint #31: Commit af4fffb pushed by andrejbauer
December 11, 2024 08:40 1m 43s main
main
December 11, 2024 08:40 1m 43s
free combinatory algebra Compile blueprint #30: Commit 630e704 pushed by andrejbauer
December 10, 2024 10:24 11m 7s main
main
December 10, 2024 10:24 11m 7s
Finish primitive recursion Compile blueprint #29: Commit 15d646d pushed by andrejbauer
December 2, 2024 16:24 10m 55s main
main
December 2, 2024 16:24 10m 55s
wip: primtive recursion Compile blueprint #28: Commit 89d7f78 pushed by andrejbauer
December 2, 2024 15:56 11m 6s main
main
December 2, 2024 15:56 11m 6s
Fix blueprint. Compile blueprint #27: Commit 8664385 pushed by andrejbauer
December 2, 2024 09:45 10m 46s main
main
December 2, 2024 09:45 10m 46s
More work on combinators. Compile blueprint #26: Commit e341435 pushed by andrejbauer
December 2, 2024 00:31 6m 55s main
main
December 2, 2024 00:31 6m 55s
wip: syntax for combinators Compile blueprint #25: Commit eecd197 pushed by andrejbauer
December 1, 2024 15:04 1m 38s main
main
December 1, 2024 15:04 1m 38s
Cleanup names, remove unusued strictness assumption. Compile blueprint #24: Commit b61ac10 pushed by andrejbauer
November 29, 2024 08:37 7m 9s main
main
November 29, 2024 08:37 7m 9s
Third's a charm. Compile blueprint #23: Commit b49123f pushed by andrejbauer
November 25, 2024 15:31 7m 20s main
main
November 25, 2024 15:31 7m 20s
new manifest Compile blueprint #22: Commit 355ed84 pushed by andrejbauer
November 25, 2024 15:24 1m 33s main
main
November 25, 2024 15:24 1m 33s
New lake manifest. Compile blueprint #21: Commit d08da3d pushed by andrejbauer
November 25, 2024 15:08 1m 59s main
main
November 25, 2024 15:08 1m 59s
Equational reasoning, pairing. Compile blueprint #20: Commit 2d8d2b5 pushed by andrejbauer
November 21, 2024 13:45 8m 1s main
main
November 21, 2024 13:45 8m 1s