| Wed, 27 Oct 2010 16:40:34 +0200 | haftmann | merged | changeset | files |
| Wed, 27 Oct 2010 16:40:31 +0200 | haftmann | sorting: avoid _key suffix if lemma applies both to simple and generalized variant; generalized insort_insert to insort_insert_key; additional lemmas | changeset | files |
| Wed, 27 Oct 2010 13:46:30 +0200 | krauss | regenerated keyword file | changeset | files |
| Wed, 27 Oct 2010 08:58:03 +0200 | boehmes | made SML/NJ happy | changeset | files |
| Tue, 26 Oct 2010 21:51:04 +0200 | blanchet | adapted SMT solver error handling to reflect latest changes in "SMT_Solver" | changeset | files |
| Tue, 26 Oct 2010 21:43:50 +0200 | blanchet | better list of irrelevant SMT constants | changeset | files |
| Tue, 26 Oct 2010 21:34:01 +0200 | blanchet | if "debug" is on, print list of relevant facts (poweruser request); | changeset | files |