Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | disable slicing within SMT (in preparation for factoring it out) | changeset | files |
Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | generalized the 'slice' option towards more flexible slicing | changeset | files |
Mon, 31 Jan 2022 10:01:50 +0100 | wenzelm | tuned -- fewer warnings; | changeset | files |