Skip to content
This repository has been archived by the owner on Sep 7, 2023. It is now read-only.

v 0.16 wishlist

Jump to bottom
Jerome Simeon edited this page Aug 26, 2019 · 1 revision

v0.16.*

Language

Compiler

  • Cleaner compiler driver, synced up with the Q*cert compiler driver for the backend code generation
  • Switch to new JS backend with imperative intermediate language just ahead of code generation

Build

  • Always full build from source (remove generated .js artifacts from github)
  • Switch to dune build system

Testing

  • New testing infrastructure:
    • run javascript (ES5/ES6/Cicero)
    • run reference eval (Coq/ocaml)
    • run java
    • compare and test they are all consistent
Clone this wiki locally