| Sat, 29 Aug 2020 16:30:33 +0100 | paulson | merged | changeset | files |
| Sat, 29 Aug 2020 16:30:22 +0100 | paulson | quite a bit of tidying | changeset | files |
| Fri, 28 Aug 2020 16:14:19 +0200 | wenzelm | more robust interpretation of data; | changeset | files |
| Fri, 28 Aug 2020 12:04:53 +0100 | paulson | merged | changeset | files |
| Fri, 28 Aug 2020 12:04:36 +0100 | paulson | small quantifier fixes | changeset | files |
| Thu, 27 Aug 2020 16:48:21 +0100 | paulson | just a bit of streamlining | changeset | files |
| Thu, 27 Aug 2020 15:23:48 +0100 | paulson | but not the [cong] rule | changeset | files |
| Thu, 27 Aug 2020 12:14:46 +0100 | paulson | tidying up some theorem statements | changeset | files |
| Thu, 27 Aug 2020 17:15:33 +0200 | wenzelm | initial Kodkod.warmup: preloading and basic integrity test; | changeset | files |
| Thu, 27 Aug 2020 17:05:59 +0200 | wenzelm | strict init of protocol handlers; | changeset | files |
| Thu, 27 Aug 2020 15:16:56 +0200 | wenzelm | clarified treatment of add-on prover_options; | changeset | files |
| Thu, 27 Aug 2020 13:06:58 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 27 Aug 2020 12:51:57 +0200 | wenzelm | clarified modules; | changeset | files |
| Thu, 27 Aug 2020 12:43:06 +0200 | wenzelm | tuned; | changeset | files |