| Thu, 01 Oct 2020 17:21:12 +0200 | wenzelm | purge arm64-linux --- no build_release support yet; | changeset | files |
| Thu, 01 Oct 2020 16:31:22 +0200 | wenzelm | more systematic platform support, including arm64-linux; | changeset | files |
| Thu, 01 Oct 2020 15:56:34 +0200 | wenzelm | tuned according to hints by IntelliJ IDEA; | changeset | files |
| Wed, 30 Sep 2020 23:37:07 +0200 | wenzelm | updated certificates to make it work again after recent changes to smt/z3 setup; | changeset | files |
| Wed, 30 Sep 2020 23:31:18 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 30 Sep 2020 23:08:57 +0200 | wenzelm | merged | changeset | files |