Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Wed, 13 Jul 2011 15:05:04 +0200 | Gilles Duboscq | Canonicalize Compare with same inputs |
Tue, 12 Jul 2011 18:14:45 +0200 | Gilles Duboscq | Merge |
Tue, 12 Jul 2011 17:54:32 +0200 | Gilles Duboscq | Fix broken code in exemples, Fix regression and bug in peeling/inverting |
Tue, 12 Jul 2011 17:00:25 +0200 | Lukas Stadler | global absolute probability analysis: |
Tue, 12 Jul 2011 13:10:33 +0200 | Gilles Duboscq | Finish implementation of loop inversion |
Tue, 12 Jul 2011 13:10:11 +0200 | Gilles Duboscq | Fix for NormalizeCompare->Compare canonicalization : care must be taken for the unordered case |
Mon, 11 Jul 2011 17:55:55 +0200 | Peter Hofer | IdealGraphVisualizer: put HTML tooltip texts between <HTML> and </HTML> to ensure they are not displayed as plain text |