| Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | crude implementation of centralized slicing | file | diff | annotate |
| Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | rationalize slicing format | file | diff | annotate |
| Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | thread slices through | file | diff | annotate |
| Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | rationalized output for forthcoming slicing model | file | diff | annotate |
| Mon, 31 Jan 2022 16:09:23 +0100 | blanchet | disable slicing within SMT (in preparation for factoring it out) | file | diff | annotate |
| Thu, 08 Jul 2021 17:23:01 +0200 | desharna | refactored Sledgehammer option "induction_rules" | file | diff | annotate |
| Thu, 08 Jul 2021 15:25:30 +0200 | desharna | promoted "sledgehammer_instantiate_inducts" to proper option "induction_rules" | file | diff | annotate |
| Wed, 12 May 2021 12:22:44 +0200 | wenzelm | avoid duplicate loading of ML file; | file | diff | annotate | base |