Code

WebAssembly backend#500

Code

Open

romac wants to merge 14 commits intoepfl-lara:scala-2epfl-lara/stainless:scala-2from romac:wasmromac/stainless:wasmCopy head branch name to clipboard

+3,677-1

Commits

Commits on May 20, 2019

• THE BIG wasm-gen commit

  

  manoskouk

  authored and

  romac

  committed
  62ae8e3

• LibProvider

  

  manoskouk

  authored and

  romac

  committed
  3442d7d

• Remove ugly underscores from wasm lib items

  

  manoskouk

  authored and

  romac

  committed
  d7b9b76

• Small changes

  

  manoskouk

  authored and

  romac

  committed
  f8dd336

• Refactor wasm FileWriter a litte

  

  manoskouk

  authored and

  romac

  committed
  12d63ac

• Small change

  

  manoskouk

  authored and

  romac

  committed
  61d6f3e

• More doc

  

  manoskouk

  authored and

  romac

  committed
  95584de

• Boxed Unit, handle Unit correctly, some more @library annotations

  

  manoskouk

  authored and

  romac

  committed
  010d96e

• Small improvements

  

  manoskouk

  authored and

  romac

  committed
  6e5e344

• Fix codegene of Unit record fields

  

  manoskouk

  authored and

  romac

  committed
  23db90d

• Print everything with ()

  

  manoskouk

  authored and

  romac

  committed
  8549380

• Some cleanup

  

  manoskouk

  authored and

  romac

  committed
  cd3eeb2

• Some comments

  

  manoskouk

  authored and

  romac

  committed
  129408c

• Bump copyright notices

  

  manoskouk

  authored and

  romac

  committed
  5287b09