Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Wed, 08 Jun 2011 17:01:16 +0200 | Thomas Wuerthinger | Added time measurement for phases. |
Wed, 08 Jun 2011 15:43:43 +0200 | Gilles Duboscq | Merge |
Wed, 08 Jun 2011 15:43:11 +0200 | Gilles Duboscq | Fix on canonicalization plus canonicalization of shifts and integer arithmetics |