Wed, 18 Nov 2009 09:34:53 +0100 added arithmetic example using div and mod
boehmes [Wed, 18 Nov 2009 09:34:53 +0100] rev 33748
added arithmetic example using div and mod
Tue, 17 Nov 2009 23:47:57 +0100 bump up Nitpick's axiom/definition unfolding limits, because some real-world problems (e.g. from Boogie) ran into the previous limits;
blanchet [Tue, 17 Nov 2009 23:47:57 +0100] rev 33747
bump up Nitpick's axiom/definition unfolding limits, because some real-world problems (e.g. from Boogie) ran into the previous limits; the limits are there to prevent infinite recursion; they can be set arbitrarily high without much harm
Tue, 17 Nov 2009 22:51:00 +0100 merged
blanchet [Tue, 17 Nov 2009 22:51:00 +0100] rev 33746
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip