Skip to content

Actions: takanuva/cps

Actions

8.16

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-8.16.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor observational theory file to use the sigma library 8.16 #84: Commit 19dfc14 pushed by takanuva
October 6, 2024 11:29 2m 21s sigma
sigma
October 6, 2024 11:29 2m 21s
Refactor confluence code to use the sigma library 8.16 #83: Commit d1ec20a pushed by takanuva
October 6, 2024 11:22 2m 13s sigma
sigma
October 6, 2024 11:22 2m 13s
Refactor residuals file to use the new sigma library (yey) 8.16 #82: Commit 78e2394 pushed by takanuva
October 6, 2024 11:15 2m 18s sigma
sigma
October 6, 2024 11:15 2m 18s
Add test case that resulted in sigma hanging (crap) 8.16 #81: Commit 997917e pushed by takanuva
October 3, 2024 00:12 2m 55s sigma
sigma
October 3, 2024 00:12 2m 55s
Add test case that resulted in sigma hanging (crap) 8.16 #80: Commit bf8cb50 pushed by takanuva
October 2, 2024 23:56 2m 51s sigma
sigma
October 2, 2024 23:56 2m 51s
Refactor metatheory file to use sigma library 8.16 #79: Commit 3e6933e pushed by takanuva
September 30, 2024 21:57 2m 4s sigma
sigma
September 30, 2024 21:57 2m 4s
Generalize MapEnv and LiftCons for the polyadic case 8.16 #78: 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.16 #77: 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.16 #76: Commit 2c4e805 pushed by takanuva
August 26, 2024 22:55 2m 12s sigma
sigma
August 26, 2024 22:55 2m 12s
Minor comment fix (oops) 8.16 #75: Commit c29d8db pushed by takanuva
August 15, 2024 22:27 2m 10s master
master
August 15, 2024 22:27 2m 10s
State missing reordering for GC reduction into a separated lemma 8.16 #74: Commit ae59058 pushed by takanuva
August 15, 2024 22:27 2m 18s icfp2024
icfp2024
August 15, 2024 22:27 2m 18s
State missing reordering for GC reduction into a separated lemma 8.16 #73: Commit ae59058 pushed by takanuva
June 6, 2024 02:14 2m 2s master
master
June 6, 2024 02:14 2m 2s
Prove that the prefix operation on action types preserves well-formed… 8.16 #72: Commit ebb4184 pushed by takanuva
May 26, 2024 15:07 2m 14s master
master
May 26, 2024 15:07 2m 14s
Add definition of active node 8.16 #71: Commit 0fbebbd pushed by takanuva
May 21, 2024 10:00 2m 4s master
master
May 21, 2024 10:00 2m 4s
Rename some constructors for full reduction 8.16 #70: Commit ef1fa29 pushed by takanuva
May 12, 2024 11:46 1m 54s master
master
May 12, 2024 11:46 1m 54s
Add minor fixes for Coq 8.17 and 8.18 8.16 #69: 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.16 #68: Commit 0c6a156 pushed by takanuva
May 12, 2024 11:36 2m 5s master
master
May 12, 2024 11:36 2m 5s
Some progress on CBN simulation of linear substitution 8.16 #67: Commit e26c959 pushed by takanuva
April 26, 2024 20:23 1m 56s master
master
April 26, 2024 20:23 1m 56s
Add pairs and thunks in the lambda calculus syntax 8.16 #66: Commit 0154d89 pushed by takanuva
April 26, 2024 12:17 2m 6s master
master
April 26, 2024 12:17 2m 6s
Show technical lemma for linear substitution in CBN 8.16 #65: Commit 2267554 pushed by takanuva
April 17, 2024 20:45 2m 2s master
master
April 17, 2024 20:45 2m 2s
8.16 8.16 #64: by takanuva
February 26, 2024 18:54 4m 17s master
master
February 26, 2024 18:54 4m 17s
Further progress into fundamental lemma (almost done!) 8.16 #63: Commit ff58fab pushed by takanuva
February 26, 2024 00:39 2m 1s master
master
February 26, 2024 00:39 2m 1s
Progress on the fundamental lemma (split the well-behaved context) 8.16 #62: Commit 6850607 pushed by takanuva
February 24, 2024 23:47 1m 47s master
master
February 24, 2024 23:47 1m 47s
Add a simple sanity check for semantic structural rules 8.16 #61: Commit 2c62aa1 pushed by takanuva
February 20, 2024 20:23 1m 49s master
master
February 20, 2024 20:23 1m 49s
Add recursive case for negation types in exchange 8.16 #60: Commit 370fa4d pushed by takanuva
February 19, 2024 04:50 1m 56s master
master
February 19, 2024 04:50 1m 56s