Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Tue, 02 Apr 2013 14:51:59 +0200 | Roland Schatz | Fix bug in integer canonicalization. |
Tue, 02 Apr 2013 12:57:58 +0200 | Roland Schatz | Merge. |
Tue, 02 Apr 2013 11:48:46 +0200 | Roland Schatz | Canonicalize (a + b) - b and (a - b) + b. |