Mon, 07 Oct 2013 20:34:14 +0200 minor doc fix
blanchet [Mon, 07 Oct 2013 20:34:14 +0200] rev 54071
minor doc fix
Mon, 07 Oct 2013 08:39:50 -0700 new topological lemmas; tuned proofs
huffman [Mon, 07 Oct 2013 08:39:50 -0700] rev 54070
new topological lemmas; tuned proofs
Sun, 06 Oct 2013 20:54:28 +0200 strengthen the tactics to bring them in sync with the simplifications taking place in the code (and weaken the simplifications a bit -- let's not deal with implies)
blanchet [Sun, 06 Oct 2013 20:54:28 +0200] rev 54069
strengthen the tactics to bring them in sync with the simplifications taking place in the code (and weaken the simplifications a bit -- let's not deal with implies)
Sun, 06 Oct 2013 20:24:06 +0200 generate optimized DNF formula
blanchet [Sun, 06 Oct 2013 20:24:06 +0200] rev 54068
generate optimized DNF formula
Sun, 06 Oct 2013 20:24:05 +0200 rationalized negation code
blanchet [Sun, 06 Oct 2013 20:24:05 +0200] rev 54067
rationalized negation code
Sat, 05 Oct 2013 11:06:07 +0200 honor externally set MASH_PORT
blanchet [Sat, 05 Oct 2013 11:06:07 +0200] rev 54066
honor externally set MASH_PORT
Fri, 04 Oct 2013 18:27:07 +0200 process code-style inputs
panny [Fri, 04 Oct 2013 18:27:07 +0200] rev 54065
process code-style inputs
Fri, 04 Oct 2013 17:00:35 +0200 more tracing
blanchet [Fri, 04 Oct 2013 17:00:35 +0200] rev 54064
more tracing
Fri, 04 Oct 2013 16:51:26 +0200 more thorough spying
blanchet [Fri, 04 Oct 2013 16:51:26 +0200] rev 54063
more thorough spying
Fri, 04 Oct 2013 16:11:19 +0200 more Sledgehammer spying -- record fact indices
blanchet [Fri, 04 Oct 2013 16:11:19 +0200] rev 54062
more Sledgehammer spying -- record fact indices
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip