https://github.com/EasyCrypt/easycrypt
Revision a37bb89001dfd1400283146b8595f072c0d47409 authored by Pierre-Yves Strub on 17 September 2018, 08:56:28 UTC, committed by Pierre-Yves Strub on 17 September 2018, 08:56:38 UTC
Expressions of the form (x + c1) + c2 are now simplified to
(x + [c1+c2]) (modulo commutativity of (+).
1 parent c997f51
Raw File
Tip revision: a37bb89001dfd1400283146b8595f072c0d47409 authored by Pierre-Yves Strub on 17 September 2018, 08:56:28 UTC
better simplification of int/real addition
Tip revision: a37bb89
.merlin
S src
S src/phl
S src/system
S src/why3

B _build/src
B _build/src/phl
B _build/src/system
B _build/src/why3

PKG batteries
PKG menhirLib
PKG why3
PKG zarith
PKG pcre
PKG inifiles

FLG -rectypes
FLG -w Y -w Z -w -23 -w +28 -w +33
back to top