Code

wasmfx#76

Code

Merged

ahuoguo merged 40 commits intomainGenerative-Program-Analysis/GenSym:mainfrom zdh/try-wasmfxGenerative-Program-Analysis/GenSym:zdh/try-wasmfxCopy head branch name to clipboardJan 29, 2025

+4,198-3,228

Commits

Commits on Nov 28, 2024

• implemet multi tag, found bug at suspend16 for forgetting meta-continuation

  ahuoguo

  committed
  dbbeff8

  Copy full SHA for dbbeff8

• forgor one test

  ahuoguo

  committed
  f2c64bb

  Copy full SHA for f2c64bb

• only the control flow structure for failed suspend16 test

  ahuoguo

  committed
  57e271d

  Copy full SHA for 57e271d

• push wast file

  ahuoguo

  committed
  1f9f250

  Copy full SHA for 1f9f250

• newMk doesn't work also

  ahuoguo

  committed
  55f95d4

  Copy full SHA for 55f95d4

Commits on Nov 29, 2024

• push wast file

  ahuoguo

  committed
  a918024

  Copy full SHA for a918024

• revert nested resume

  ahuoguo

  committed
  da67bcb

  Copy full SHA for da67bcb

Commits on Dec 1, 2024

• some refactor; add test spec

  Kraks

  committed
  f310fcf

  Copy full SHA for f310fcf

• revert accidental change

  Kraks

  committed
  7f9b086

  Copy full SHA for 7f9b086

• use the right remaining stack

  Kraks

  committed
  928c501

  Copy full SHA for 928c501

• rebase on Dinghong's version

  Kraks

  committed
  5ad02d4

  Copy full SHA for 5ad02d4

• check point

  Kraks

  committed
  885df1c

  Copy full SHA for 885df1c

Commits on Dec 2, 2024

• refactoring

  Kraks

  committed
  be08771

  Copy full SHA for be08771

• minor refactor

  Kraks

  committed
  f625623

  Copy full SHA for f625623

• handler

  Kraks

  committed
  6022e7b

  Copy full SHA for 6022e7b

• refactor eval, taking only single inst

  Kraks

  committed
  2671a81

  Copy full SHA for 2671a81

Commits on Dec 3, 2024

• try catch

  Kraks

  committed
  d934f58

  Copy full SHA for d934f58

• rebase Dinghong's tests

  Kraks

  committed
  b719421

  Copy full SHA for b719421

• some clean up

  Kraks

  committed
  a7b7315

  Copy full SHA for a7b7315

• unify value repr for cont

  Kraks

  committed
  c6a0e06

  Copy full SHA for c6a0e06

• test case: throw -> resume -> throw -> no resume

  butterunderflow

  committed
  4f65d3e

  Copy full SHA for 4f65d3e

Commits on Dec 4, 2024

• initial impl for wasmfx

  Kraks

  committed
  ff5e0d4

  Copy full SHA for ff5e0d4

Commits on Dec 6, 2024

• unreachable not trap

  ahuoguo

  committed
  fd8890c

  Copy full SHA for fd8890c

• rm redundant case

  ahuoguo

  committed
  d1e5548

  Copy full SHA for d1e5548

• fix call ref

  Kraks

  committed
  b7fd82a

  Copy full SHA for b7fd82a

Commits on Dec 11, 2024

• utilize trail

  butterunderflow

  committed
  e952a41

  Copy full SHA for e952a41

Commits on Dec 12, 2024

• wrap continuations in trail with tags

  butterunderflow

  committed
  2deea4c

  Copy full SHA for 2deea4c

• drop tail of trail by tagid

  butterunderflow

  committed
  1842695

  Copy full SHA for 1842695

Commits on Dec 13, 2024

• fix fun-state

  ahuoguo

  committed
  5014a2e

  Copy full SHA for 5014a2e

• some progress on debugging pipes

  ahuoguo

  committed
  1dab0cc

  Copy full SHA for 1dab0cc

• Merge pull request #77 from Generative-Program-Analysis/fix-fun-state

  Show description for 3841afc
  ahuoguo

  authored
  3841afc

  Copy full SHA for 3841afc

• fix pipes

  ahuoguo

  committed
  98523fe

  Copy full SHA for 98523fe

Commits on Dec 14, 2024

• even more nested resume

  ahuoguo

  committed
  85968f0

  Copy full SHA for 85968f0

Commits on Dec 18, 2024

• ignore all tags in newTrail when suspend

  butterunderflow

  committed
  2e894fb

  Copy full SHA for 2e894fb

Commits on Dec 23, 2024

• handler needs only a stack & remove try-catch stuff

  butterunderflow

  committed
  8ee376d

  Copy full SHA for 8ee376d

Commits on Jan 15, 2025

• remove mcont

  butterunderflow

  committed
  55593e7

  Copy full SHA for 55593e7

• trail compostion is different with list concat when haltK is there

  butterunderflow

  committed
  b513e03

  Copy full SHA for b513e03

Commits on Jan 16, 2025

• when start evaluation: store initK in brtable and haltK in trail

  butterunderflow

  committed
  0c99725

  Copy full SHA for 0c99725

Commits on Jan 29, 2025

• comment on initK

  ahuoguo

  committed
  d5293da

  Copy full SHA for d5293da

• Merge pull request #78 from Generative-Program-Analysis/zdh/remove-mk

  Show description for 3996c50
  ahuoguo

  authored
  3996c50

  Copy full SHA for 3996c50