Code

MiniWasmFX#64

Code

Merged

Kraks merged 16 commits intomainGenerative-Program-Analysis/GenSym:mainfrom fx-evalGenerative-Program-Analysis/GenSym:fx-evalCopy head branch name to clipboardNov 18, 2024

+3,745-2,653

Commits

Commits on Nov 4, 2024

• check in MiniWasmFX

  Kraks

  committed
  de96625

  Copy full SHA for de96625

• Basic (module bin ...) support (#62)

  Show description for 2eb36f0
  

  3 peopleauthored
  2eb36f0

  Copy full SHA for 2eb36f0

• refactor value hierarchy

  Kraks

  committed
  01a73b8

  Copy full SHA for 01a73b8

• remove duplication

  Kraks

  committed
  8a924aa

  Copy full SHA for 8a924aa

• prelim impl of RefFunc and ContNew

  Kraks

  committed
  b9a6579

  Copy full SHA for b9a6579

Commits on Nov 5, 2024

• Merge branch 'fx-eval' of github.com:Generative-Program-Analysis/GenSym into fx-eval

  ahuoguo

  committed
  d571efd

  Copy full SHA for d571efd

Commits on Nov 6, 2024

• callref

  ahuoguo

  committed
  1d2f7bb

  Copy full SHA for 1d2f7bb

Commits on Nov 12, 2024

• refactor to 2cps style

  Kraks

  committed
  793f1a5

  Copy full SHA for 793f1a5

• add handler

  Kraks

  committed
  27b00e3

  Copy full SHA for 27b00e3

• resumable try-catch

  Kraks

  committed
  0d68f46

  Copy full SHA for 0d68f46

• fix for deep handler

  Kraks

  committed
  1577a96

  Copy full SHA for 1577a96

Commits on Nov 14, 2024

• mechanize test

  Kraks

  committed
  67ef342

  Copy full SHA for 67ef342

• add test case

  Kraks

  committed
  60ce135

  Copy full SHA for 60ce135

• missing file

  Kraks

  committed
  a250924

  Copy full SHA for a250924

Commits on Nov 16, 2024

• rename vars in resume, added some comments

  ahuoguo

  committed
  f810983

  Copy full SHA for f810983

Commits on Nov 18, 2024

• comment tests for now

  Kraks

  committed
  d39b34a

  Copy full SHA for d39b34a