Code

Delimited continuations#4

Code

Merged

co-dan merged 14 commits intomainlogsem/gitrees:mainfrom delim_staginglogsem/gitrees:delim_stagingCopy head branch name to clipboardJun 23, 2024

+3,050-861

Commits

Commits on May 10, 2024

• sem model init

  Kaptch

  committed
  e84cfd0

  Copy full SHA for e84cfd0

Commits on May 30, 2024

• delimited continuations, unary model

  Kaptch

  committed
  b096f8b

  Copy full SHA for b096f8b

Commits on May 31, 2024

• minor lemmas about ectx validity

  Kaptch

  committed
  a4b9948

  Copy full SHA for a4b9948

Commits on Jun 5, 2024

• l->r cbv, compat for app

  Kaptch

  committed
  b529277

  Copy full SHA for b529277

• unary done

  Kaptch

  committed
  f7ee94f

  Copy full SHA for f7ee94f

Commits on Jun 6, 2024

• binary rel stub

  Kaptch

  committed
  435bb1a

  Copy full SHA for 435bb1a

Commits on Jun 7, 2024

• delim logrel: shift/reset, adequacy

  Kaptch

  committed
  9a43123

  Copy full SHA for 9a43123

Commits on Jun 11, 2024

• adequacy

  Kaptch

  committed
  a139885

  Copy full SHA for a139885

• refactor delim

  Kaptch

  committed
  9f26c26

  Copy full SHA for 9f26c26

• minor fixes

  Kaptch

  committed
  39c6ddf

  Copy full SHA for 39c6ddf

Commits on Jun 12, 2024

• missing notation

  Kaptch

  committed
  179a0f0

  Copy full SHA for 179a0f0

Commits on Jun 18, 2024

• a bit of cleaning

  

  Dan

  committed
  b33aa39

  Copy full SHA for b33aa39

Commits on Jun 23, 2024

• more cleaning up

  

  Dan

  committed
  63af674

  Copy full SHA for 63af674

• fix hom issues

  

  Dan

  committed
  b91709c

  Copy full SHA for b91709c