* Bug fixes for overflow/underflow conditions. * Limit decimals according to IEEE 754 `decimal128` format. * Major optimizations for computations involving integer values. * Support for C coverage reports using gcov. * Improved trace output for debugging.
1.1.1
------------------
* Added stricter validation checks when loading compiled program. * Addressed warnings generated when compiling with strict compiler settings. * Added support for Python 3.3 and 3.4.
1.1.0
------------------
* Added support for interval checks, e.g. `x in [0, 10)`. * Simplified code generation for set membership checks. * Improved documentation.