Thanks to:
-
Fareed Arif for adding support for SMT solver MathSAT.
-
Kevin Blicharski for replacing Pandoc with Sphinx.
-
Kevin Blicharski for developing a nightly build system for Travis.
-
Amos Robinson for fixing support for arrays in old front-end.
-
Amos Robinson for adding support for abstract types.
-
Amos Robison for fixing JSON printing of execution path values.
-
Correnson Loïc for adding support for hexadecimal notation.
-
Correnson Loïc for adding support for pretty-printing rationals in scientific format with error magnitudes.