Skip to content

Actions: takanuva/cps

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move Hindley's local postponement to abstract rewriting file 8.16 #43: Commit d90d772 pushed by takanuva
January 12, 2024 23:09 1m 50s master
master
January 12, 2024 23:09 1m 50s
Show that parallel inner reduction includes inner reduction 8.16 #42: Commit ad08fce pushed by takanuva
January 12, 2024 22:34 1m 50s master
master
January 12, 2024 22:34 1m 50s
Some fixup on factorization theorem 8.16 #41: Commit ab0d649 pushed by takanuva
January 11, 2024 23:14 1m 56s master
master
January 11, 2024 23:14 1m 56s
Update predicate about leftmost mark in a marked term 8.16 #40: Commit baae8f4 pushed by takanuva
January 10, 2024 23:00 1m 46s master
master
January 10, 2024 23:00 1m 46s
Progress on proof for the parallel moves lemma 8.16 #39: Commit bfa641b pushed by takanuva
January 9, 2024 22:03 1m 47s master
master
January 9, 2024 22:03 1m 47s
Sketch proof that parallel is indeed a parallel reduction 8.16 #38: Commit f26868e pushed by takanuva
January 8, 2024 18:56 1m 45s master
master
January 8, 2024 18:56 1m 45s
Well, I'm stuck for today... 8.16 #37: Commit 8b2a466 pushed by takanuva
January 7, 2024 23:48 1m 40s master
master
January 7, 2024 23:48 1m 40s
Finish (well, almost) the proof of uniform normalization 8.16 #36: Commit 9484481 pushed by takanuva
January 6, 2024 22:56 1m 43s master
master
January 6, 2024 22:56 1m 43s
Some progress on the proof of the finite development theorem 8.16 #35: Commit 4757848 pushed by takanuva
January 5, 2024 19:31 1m 43s master
master
January 5, 2024 19:31 1m 43s
Finish proof of partial development 8.16 #34: Commit f49f263 pushed by takanuva
January 5, 2024 14:45 1m 45s master
master
January 5, 2024 14:45 1m 45s
Finish the paving lemma 8.16 #33: Commit a80c791 pushed by takanuva
January 4, 2024 18:20 1m 37s master
master
January 4, 2024 18:20 1m 37s
Some progress on paving lemma 8.16 #32: Commit 5790874 pushed by takanuva
January 4, 2024 11:40 1m 38s master
master
January 4, 2024 11:40 1m 38s
Sure, revert insert back to a relation 8.16 #31: Commit 9481932 pushed by takanuva
January 2, 2024 23:04 1m 48s master
master
January 2, 2024 23:04 1m 48s
Some progress on cube and paving lemmas 8.16 #30: Commit aa88620 pushed by takanuva
January 2, 2024 20:34 1m 44s master
master
January 2, 2024 20:34 1m 44s
Fix code to use insert function 8.16 #29: Commit 3974fab pushed by takanuva
January 1, 2024 09:33 1m 48s master
master
January 1, 2024 09:33 1m 48s
Add back some lemmas about lifting, prove a few missing laws 8.16 #28: Commit 8628d97 pushed by takanuva
December 28, 2023 08:42 1m 46s master
master
December 28, 2023 08:42 1m 46s
Refactor and fix sigma rules (WIP) 8.16 #27: Commit 8f51624 pushed by takanuva
December 28, 2023 07:51 1m 41s master
master
December 28, 2023 07:51 1m 41s
Add additional rewrite for automatic lifting simplification 8.16 #26: Commit eaca65d pushed by takanuva
December 25, 2023 03:15 1m 49s master
master
December 25, 2023 03:15 1m 49s
Prove lifting laws (simplification and permutation) 8.16 #25: Commit 350c641 pushed by takanuva
December 25, 2023 02:33 1m 43s master
master
December 25, 2023 02:33 1m 43s
Finish proof that lift and substitution commmute 8.16 #24: Commit 93e6c2f pushed by takanuva
December 25, 2023 02:21 1m 44s master
master
December 25, 2023 02:21 1m 44s
Some work on proof that lifting and substituting commute 8.16 #23: Commit be77b08 pushed by takanuva
December 25, 2023 02:02 1m 42s master
master
December 25, 2023 02:02 1m 42s
Prove composition of substitutions lemma 8.16 #22: Commit 420d06f pushed by takanuva
December 24, 2023 23:28 1m 46s master
master
December 24, 2023 23:28 1m 46s
Admit missing rules for passing tests 8.16 #21: Commit 9f56430 pushed by takanuva
December 24, 2023 22:46 1m 44s master
master
December 24, 2023 22:46 1m 44s
Add addititional rules and tests (composition of lifting and original… 8.16 #20: Commit 08d4205 pushed by takanuva
December 24, 2023 22:40 1m 48s master
master
December 24, 2023 22:40 1m 48s
Assert two additional laws, proofs incomplete 8.16 #19: Commit a622259 pushed by takanuva
December 24, 2023 22:19 1m 41s master
master
December 24, 2023 22:19 1m 41s