diff options
Diffstat (limited to 'Changelog')
-rw-r--r-- | Changelog | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -1,3 +1,14 @@ +Development version +=================== + +- More efficient implementation of machine integers (module Integers) + taking advantage of bitwise operations defined in ZArith in Coq 8.4. +- Fixed a bug in the reference interpreter in -all mode causing some + reductions to be incorrectly merged. +- Better error and warning messages for declarations of variables + of size >= 2^32 bits. + + Release 1.12.1, 2013-01-29 ========================== |