| Thu, 12 May 2011 15:29:19 +0200 | blanchet | ensure type class predicates are generated in symbol declarations (for "poly_preds" and similar) | changeset | files |
| Thu, 12 May 2011 15:29:18 +0200 | blanchet | avoid "Empty" exception by making sure that a certain optimization only is attempted when it makes sense | changeset | files |
| Thu, 12 May 2011 15:29:18 +0200 | blanchet | added "force_sos" options to control SPASS's and Vampire's use of SOS in experiments + added corresponding Mirabelle options | changeset | files |
| Thu, 12 May 2011 15:29:18 +0200 | blanchet | added "max_mono_instances" option to Sledgehammer and renamed old "monomorphize_limit" option | changeset | files |
| Thu, 12 May 2011 15:29:18 +0200 | blanchet | allow each slice to have its own type system | changeset | files |
| Thu, 12 May 2011 15:29:18 +0200 | blanchet | renamed type systems for more consistency | changeset | files |