Mon, 06 Jun 2011 20:36:34 +0200 added Metis examples to test the new type encodings
blanchet [Mon, 06 Jun 2011 20:36:34 +0200] rev 43162
added Metis examples to test the new type encodings
Mon, 06 Jun 2011 20:36:34 +0200 tuned CASC method
blanchet [Mon, 06 Jun 2011 20:36:34 +0200] rev 43161
tuned CASC method
Mon, 06 Jun 2011 20:36:34 +0200 clean up unnecessary machinery -- helpers work also with monomorphic type encodings
blanchet [Mon, 06 Jun 2011 20:36:34 +0200] rev 43160
clean up unnecessary machinery -- helpers work also with monomorphic type encodings
Mon, 06 Jun 2011 20:36:34 +0200 added support for helpers in new Metis, so far only for polymorphic type encodings
blanchet [Mon, 06 Jun 2011 20:36:34 +0200] rev 43159
added support for helpers in new Metis, so far only for polymorphic type encodings
Mon, 06 Jun 2011 16:29:38 +0200 imported rest of new IMP
kleing [Mon, 06 Jun 2011 16:29:38 +0200] rev 43158
imported rest of new IMP
Mon, 06 Jun 2011 16:29:13 +0200 atLeastAtMostSuc_conv on int
kleing [Mon, 06 Jun 2011 16:29:13 +0200] rev 43157
atLeastAtMostSuc_conv on int
Mon, 06 Jun 2011 14:11:54 +0200 fixed typo
kleing [Mon, 06 Jun 2011 14:11:54 +0200] rev 43156
fixed typo
Sun, 05 Jun 2011 15:00:52 +0200 updated SMT certificates
boehmes [Sun, 05 Jun 2011 15:00:52 +0200] rev 43155
updated SMT certificates
Sun, 05 Jun 2011 15:00:17 +0200 made introduction of explicit application stable under removal of vacuous facts (which only lower the rank of constants but do not participate in the proof)
boehmes [Sun, 05 Jun 2011 15:00:17 +0200] rev 43154
made introduction of explicit application stable under removal of vacuous facts (which only lower the rank of constants but do not participate in the proof)
Fri, 03 Jun 2011 19:37:26 +0200 changing the mira setting again for the mutabelle configuration
bulwahn [Fri, 03 Jun 2011 19:37:26 +0200] rev 43153
changing the mira setting again for the mutabelle configuration
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip