| Thu, 07 Oct 2021 22:46:47 +0200 | wenzelm | NEWS; | changeset | files |
| Thu, 07 Oct 2021 22:44:18 +0200 | wenzelm | clarified test of directories; | changeset | files |
| Thu, 07 Oct 2021 22:21:11 +0200 | wenzelm | misc tuning for release; | changeset | files |
| Thu, 07 Oct 2021 21:43:26 +0200 | wenzelm | merged | changeset | files |
| Thu, 07 Oct 2021 20:53:24 +0200 | wenzelm | updated to kodkodi-1.5.7. with more robust/portable management of files and processes; | changeset | files |
| Thu, 07 Oct 2021 14:02:18 +0200 | wenzelm | provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick; | changeset | files |
| Thu, 07 Oct 2021 13:55:24 +0200 | wenzelm | tuned message; | changeset | files |
| Thu, 07 Oct 2021 13:46:50 +0200 | wenzelm | proper build on macOS; | changeset | files |
| Thu, 07 Oct 2021 13:12:08 +0200 | wenzelm | build minisat, using recent fork from original sources; | changeset | files |
| Thu, 07 Oct 2021 13:10:53 +0200 | wenzelm | proper platform_path for executables run from Java; | changeset | files |
| Thu, 07 Oct 2021 13:04:15 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 06 Oct 2021 23:37:33 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 06 Oct 2021 23:21:21 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 07 Oct 2021 16:28:17 +0200 | desharna | merged | changeset | files |
| Thu, 07 Oct 2021 10:16:52 +0200 | desharna | added timeout to veriT | changeset | files |