Mon, 29 Dec 2014 22:14:13 +0100 | boehmes | optionally display statistics for Z3 proof reconstruction | changeset | files |
Mon, 29 Dec 2014 16:21:33 +0100 | boehmes | avoid more than one data slot per module | changeset | files |
Mon, 29 Dec 2014 14:57:13 +0100 | boehmes | limit reconstruction time of Z3 proof steps to be able to detect long-running reconstruction steps | changeset | files |