Mon, 07 Feb 2022 15:26:22 +0100 | blanchet | added possibility of extra options to SMT slices | changeset | files |
Fri, 04 Feb 2022 10:48:49 +0100 | nipkow | tuned output syntax: Hoare triples are now blocks | changeset | files |
Thu, 03 Feb 2022 10:33:55 +0100 | nipkow | tuned output syntax: INV and VAR are now blocks | changeset | files |