| Wed, 01 Mar 2023 08:00:51 +0100 | blanchet | tuning | changeset | files |
| Wed, 01 Mar 2023 08:00:51 +0100 | blanchet | don't apply abduction and consistency checking to goals of the form 'False' | changeset | files |
| Wed, 01 Mar 2023 08:00:51 +0100 | blanchet | implemented ad hoc abduction in Sledgehammer with E | changeset | files |
| Tue, 28 Feb 2023 20:37:57 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 28 Feb 2023 20:29:44 +0100 | wenzelm | clarified scope of "serial" and "numa_index" within database; | changeset | files |
| Tue, 28 Feb 2023 19:12:31 +0100 | wenzelm | clarified signature: allow more general init, e.g. from existing database; | changeset | files |
| Tue, 28 Feb 2023 17:42:13 +0100 | wenzelm | clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure; | changeset | files |