| Tue, 16 Nov 2021 21:21:15 +0100 | wenzelm | just one Presentation.State for all sessions: avoid duplication of already presented theories (very slow) and cached theory export (not very slow); | changeset | files |
| Tue, 16 Nov 2021 18:45:31 +0100 | wenzelm | proper version; | changeset | files |
| Tue, 16 Nov 2021 18:45:02 +0100 | wenzelm | back to Z3 4.4.0pre for all platforms except arm64-linux: avoid failure e.g. in Padic_Ints (AFP/7a2522dce834); | changeset | files |
| Tue, 16 Nov 2021 17:57:52 +0100 | wenzelm | less ambitious parallelism: more direct read/write saves overall heap space and GC time; | changeset | files |
| Tue, 16 Nov 2021 16:39:49 +0100 | wenzelm | slightly faster XML output: avoid too much regrowing of StringBuilder; | changeset | files |
| Mon, 15 Nov 2021 23:52:08 +0100 | wenzelm | updated NEWS: arm64-linux support is almost complete; | changeset | files |