log

age author description
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
Mon, 11 Jul 2011 17:52:58 +0200 Peter Hofer Replace Compare with NormalizeComparison and constant 0 as inputs with a single Compare; correct/remove encountered wrong comments