Skip to content

Actions: takanuva/cps

Actions

8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-8.18.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor observational theory file to use the sigma library 8.18 #17: Commit 19dfc14 pushed by takanuva
October 6, 2024 11:29 2m 13s sigma
sigma
October 6, 2024 11:29 2m 13s
Refactor confluence code to use the sigma library 8.18 #16: Commit d1ec20a pushed by takanuva
October 6, 2024 11:22 2m 6s sigma
sigma
October 6, 2024 11:22 2m 6s
Refactor residuals file to use the new sigma library (yey) 8.18 #15: Commit 78e2394 pushed by takanuva
October 6, 2024 11:15 2m 10s sigma
sigma
October 6, 2024 11:15 2m 10s
Add test case that resulted in sigma hanging (crap) 8.18 #14: Commit 997917e pushed by takanuva
October 3, 2024 00:12 1m 51s sigma
sigma
October 3, 2024 00:12 1m 51s
Add test case that resulted in sigma hanging (crap) 8.18 #13: Commit bf8cb50 pushed by takanuva
October 2, 2024 23:56 1m 52s sigma
sigma
October 2, 2024 23:56 1m 52s
Refactor metatheory file to use sigma library 8.18 #12: Commit 3e6933e pushed by takanuva
September 30, 2024 21:57 1m 59s sigma
sigma
September 30, 2024 21:57 1m 59s
Generalize MapEnv and LiftCons for the polyadic case 8.18 #11: Commit 26a62f4 pushed by takanuva
September 10, 2024 01:42 2m 15s sigma
sigma
September 10, 2024 01:42 2m 15s
Remove subst_cons and generalize some laws 8.18 #10: Commit 3b108b0 pushed by takanuva
August 28, 2024 22:46 2m 19s sigma
sigma
August 28, 2024 22:46 2m 19s
Add subst_app for polyadic prepending and make subst_cons a notation 8.18 #9: Commit 2c4e805 pushed by takanuva
August 26, 2024 22:55 2m 24s sigma
sigma
August 26, 2024 22:55 2m 24s
Minor comment fix (oops) 8.18 #8: Commit c29d8db pushed by takanuva
August 15, 2024 22:27 2m 16s master
master
August 15, 2024 22:27 2m 16s
State missing reordering for GC reduction into a separated lemma 8.18 #7: Commit ae59058 pushed by takanuva
August 15, 2024 22:27 2m 8s icfp2024
icfp2024
August 15, 2024 22:27 2m 8s
State missing reordering for GC reduction into a separated lemma 8.18 #6: Commit ae59058 pushed by takanuva
June 6, 2024 02:14 2m 1s master
master
June 6, 2024 02:14 2m 1s
Prove that the prefix operation on action types preserves well-formed… 8.18 #5: Commit ebb4184 pushed by takanuva
May 26, 2024 15:07 1m 58s master
master
May 26, 2024 15:07 1m 58s
Add definition of active node 8.18 #4: Commit 0fbebbd pushed by takanuva
May 21, 2024 10:00 1m 59s master
master
May 21, 2024 10:00 1m 59s
Rename some constructors for full reduction 8.18 #3: Commit ef1fa29 pushed by takanuva
May 12, 2024 11:46 1m 53s master
master
May 12, 2024 11:46 1m 53s
Add minor fixes for Coq 8.17 and 8.18 8.18 #2: Commit 0d3b650 pushed by takanuva
May 12, 2024 11:37 2m 0s master
master
May 12, 2024 11:37 2m 0s
Add minor fixes for Coq 8.17 and 8.18 8.18 #1: Commit 0c6a156 pushed by takanuva
May 12, 2024 11:36 1m 55s master
master
May 12, 2024 11:36 1m 55s