Code

Kont#112

Code

Merged

billhails merged 6 commits intomainbillhails/CEKF:mainfrom kontbillhails/CEKF:kontCopy head branch name to clipboardAug 13, 2024

Commits

Commits on Aug 10, 2024

• consistent renaming of cekfs fields

  billhails

  committed
  17c9c74

  Copy full SHA for 17c9c74

• renamed PUSHS and PUSHE to PUSHSTACK and PUSHENV

  billhails

  committed
  5261a1c

  Copy full SHA for 5261a1c

Commits on Aug 11, 2024

• new stack type, unused example MyStack in cekfs.yaml

  billhails

  committed
  95c1096

  Copy full SHA for 95c1096

Commits on Aug 12, 2024

• more prep

  billhails

  committed
  ccfa24a

  Copy full SHA for ccfa24a

Commits on Aug 13, 2024

• optimised continuations apparently working

  billhails

  committed
  e9e2865

  Copy full SHA for e9e2865

• slight optimisation snapshotting stack continuation

  billhails

  committed
  2e03414

  Copy full SHA for 2e03414