Wed, 23 May 2012 17:06:45 +0200 merged
wenzelm [Wed, 23 May 2012 17:06:45 +0200] rev 47969
merged
Wed, 23 May 2012 16:53:12 +0200 eliminated old 'axioms';
wenzelm [Wed, 23 May 2012 16:53:12 +0200] rev 47968
eliminated old 'axioms';
Wed, 23 May 2012 16:22:27 +0200 discontinued obsolete method fastsimp / tactic fast_simp_tac;
wenzelm [Wed, 23 May 2012 16:22:27 +0200] rev 47967
discontinued obsolete method fastsimp / tactic fast_simp_tac;
Wed, 23 May 2012 15:57:12 +0200 eliminated obsolete fastsimp;
wenzelm [Wed, 23 May 2012 15:57:12 +0200] rev 47966
eliminated obsolete fastsimp;
Wed, 23 May 2012 16:03:38 +0200 extend the Z3 proof parser to accept polyadic addition (on integers and reals) due to changes introduced in Z3 4.0
boehmes [Wed, 23 May 2012 16:03:38 +0200] rev 47965
extend the Z3 proof parser to accept polyadic addition (on integers and reals) due to changes introduced in Z3 4.0
Wed, 23 May 2012 15:40:10 +0200 merged
wenzelm [Wed, 23 May 2012 15:40:10 +0200] rev 47964
merged
Wed, 23 May 2012 13:37:26 +0200 doc updates
blanchet [Wed, 23 May 2012 13:37:26 +0200] rev 47963
doc updates
Wed, 23 May 2012 13:28:20 +0200 lower the monomorphization thresholds for less scalable provers
blanchet [Wed, 23 May 2012 13:28:20 +0200] rev 47962
lower the monomorphization thresholds for less scalable provers
Wed, 23 May 2012 14:17:32 +0200 more explicit proof;
wenzelm [Wed, 23 May 2012 14:17:32 +0200] rev 47961
more explicit proof; misc tuning;
Wed, 23 May 2012 13:33:35 +0200 tuned proof;
wenzelm [Wed, 23 May 2012 13:33:35 +0200] rev 47960
tuned proof;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip