Q*cert 1.4.0

jeromesimeon released this 30 Sep 19:08

· 424 commits to master since this release

Compiler

Complete correctness proof for translation between NNRSImp to ImpQcert

Operators

new string-join operator
toString semantic (dataToString) is now a parameter of the compiler. Old semantics remains as defaultDataToString
Bug fixes to implementation of toString in the Java and JavaScript runtimes

Build

Fixes to build process so tests failure gets reported by CircleCI

Assets 2