v 0.16 wishlist - accordproject/ergo GitHub Wiki

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