Fri, 27 May 2011 21:11:44 +0200 function tutorial: do not omit termination proof, even when discussing other things
krauss [Fri, 27 May 2011 21:11:44 +0200] rev 43042
function tutorial: do not omit termination proof, even when discussing other things
Fri, 27 May 2011 16:45:24 +0200 added re-implemented monomorphizer for types with better control for number of generated instances (strict as opposed to the SMT monomorphizer) and with fact annotations controlling in which round certain facts are considered for monomorphization
boehmes [Fri, 27 May 2011 16:45:24 +0200] rev 43041
added re-implemented monomorphizer for types with better control for number of generated instances (strict as opposed to the SMT monomorphizer) and with fact annotations controlling in which round certain facts are considered for monomorphization
Fri, 27 May 2011 10:41:09 +0200 document new "try"
blanchet [Fri, 27 May 2011 10:41:09 +0200] rev 43040
document new "try"
Fri, 27 May 2011 10:33:16 +0200 tuned comments
blanchet [Fri, 27 May 2011 10:33:16 +0200] rev 43039
tuned comments
Fri, 27 May 2011 10:30:08 +0200 new timeout section (cf. Nitpick manual)
blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43038
new timeout section (cf. Nitpick manual)
Fri, 27 May 2011 10:30:08 +0200 cleanup proof text generation code
blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43037
cleanup proof text generation code
Fri, 27 May 2011 10:30:08 +0200 more Sledgehammer documentation updates
blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43036
more Sledgehammer documentation updates
Fri, 27 May 2011 10:30:08 +0200 minor update
blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43035
minor update
Fri, 27 May 2011 10:30:08 +0200 try both "metis" and (on failure) "metisFT" in replay
blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43034
try both "metis" and (on failure) "metisFT" in replay
Fri, 27 May 2011 10:30:08 +0200 show time taken for reconstruction
blanchet [Fri, 27 May 2011 10:30:08 +0200] rev 43033
show time taken for reconstruction
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip