Code

WebAssembly backend#499

Code

Closed

romac wants to merge 20 commits intoepfl-lara:masterepfl-lara/stainless:masterfrom manoskouk:wasmmanoskouk/stainless:wasmCopy head branch name to clipboard

+4,037-232

Commits

Commits on Jan 23, 2019

• Various cosmetic fixes generated by automated tool

  manoskouk

  committed
  b99bcf0

  Copy full SHA for b99bcf0

• Fix equality bug?

  manoskouk

  committed
  3272bd7

  Copy full SHA for 3272bd7

• Various minor improvements

  manoskouk

  committed
  2e6ff57

  Copy full SHA for 2e6ff57

• Fix MalformedStainlessCode typo

  manoskouk

  committed
  2c2475c

  Copy full SHA for 2c2475c

• matchToIfThenElse should insert @unchecked for selectors

  manoskouk

  committed
  5c1be0a

  Copy full SHA for 5c1be0a

Commits on Jan 25, 2019

• Provide option for batched compilation and post-compilation filtering

  Show description for 5fd0f3e
  manoskouk

  committed
  5fd0f3e

  Copy full SHA for 5fd0f3e

• THE BIG wasm-gen commit

  manoskouk

  committed
  00324b9

  Copy full SHA for 00324b9

• LibProvider

  manoskouk

  committed
  5e8d97c

  Copy full SHA for 5e8d97c

• Remove ugly underscores from wasm lib items

  manoskouk

  committed
  397b5f6

  Copy full SHA for 397b5f6

• Small changes

  manoskouk

  committed
  d874d4e

  Copy full SHA for d874d4e

• Refactor wasm FileWriter a litte

  manoskouk

  committed
  816c90e

  Copy full SHA for 816c90e

• Small change

  manoskouk

  committed
  f4330ab

  Copy full SHA for f4330ab

• More doc

  manoskouk

  committed
  04b677e

  Copy full SHA for 04b677e

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

  manoskouk

  committed
  e782a33

  Copy full SHA for e782a33

• Small improvements

  manoskouk

  committed
  ddb512e

  Copy full SHA for ddb512e

• Fix codegene of Unit record fields

  manoskouk

  committed
  35f46e0

  Copy full SHA for 35f46e0

• Print everything with ()

  manoskouk

  committed
  5f6491c

  Copy full SHA for 5f6491c

• Some cleanup

  manoskouk

  committed
  7d7e559

  Copy full SHA for 7d7e559

• Some comments

  manoskouk

  committed
  fe399e3

  Copy full SHA for fe399e3

• Bump copyright notices

  manoskouk

  committed
  6ae7fc3

  Copy full SHA for 6ae7fc3