Tue, 02 Feb 2010 18:16:48 +0100 merged
berghofe [Tue, 02 Feb 2010 18:16:48 +0100] rev 34992
merged
Sun, 31 Jan 2010 15:22:40 +0100 merged
berghofe [Sun, 31 Jan 2010 15:22:40 +0100] rev 34991
merged
Sat, 30 Jan 2010 17:03:46 +0100 Adapted to changes in cases method.
berghofe [Sat, 30 Jan 2010 17:03:46 +0100] rev 34990
Adapted to changes in cases method.
Sat, 30 Jan 2010 17:01:01 +0100 Adapted to changes in setup of cases method.
berghofe [Sat, 30 Jan 2010 17:01:01 +0100] rev 34989
Adapted to changes in setup of cases method.
Sat, 30 Jan 2010 16:59:49 +0100 Added setup for simplification of equality constraints in cases rules.
berghofe [Sat, 30 Jan 2010 16:59:49 +0100] rev 34988
Added setup for simplification of equality constraints in cases rules.
Sat, 30 Jan 2010 16:58:46 +0100 Added infrastructure for simplifying equality constraints in cases rules.
berghofe [Sat, 30 Jan 2010 16:58:46 +0100] rev 34987
Added infrastructure for simplifying equality constraints in cases rules.
Sat, 30 Jan 2010 16:56:28 +0100 Added "constraints" tag / attribute for specifying the number of equality
berghofe [Sat, 30 Jan 2010 16:56:28 +0100] rev 34986
Added "constraints" tag / attribute for specifying the number of equality constraints in cases rules.
Tue, 02 Feb 2010 18:12:05 +0100 updated SMT certificates
boehmes [Tue, 02 Feb 2010 18:12:05 +0100] rev 34985
updated SMT certificates
Tue, 02 Feb 2010 18:11:21 +0100 updated SMT examples
boehmes [Tue, 02 Feb 2010 18:11:21 +0100] rev 34984
updated SMT examples
Tue, 02 Feb 2010 18:10:41 +0100 collect certificates in a single file
boehmes [Tue, 02 Feb 2010 18:10:41 +0100] rev 34983
collect certificates in a single file
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip