atgeller/WASM-Redex

Issues

• Test typing rules relying on metafunctions inside of judgments

  #1 opened 5 years ago by atgeller
  0

• Add detailed documentation using Scribble

  #10 opened 4 years ago by atgeller
  0

• Model JS API in Racket

  #8 opened 4 years ago by atgeller
  0

• Modeling foreign functions

  #7 opened 4 years ago by atgeller
  0

• Remove bitsyntax dependency

  #5 opened 4 years ago by laelath
  0

• set-local with a non-zero index doesn't reduce

  #3 opened 4 years ago by laelath
  1