| Fri, 03 Jan 2025 22:35:28 +0100 | wenzelm | rebuild E 3.1 on Windows/Cygwin, with patch for proper interrupts; | changeset | files |
| Thu, 02 Jan 2025 16:59:42 +0100 | wenzelm | misc tuning and clarification: more explicit types; | changeset | files |
| Thu, 02 Jan 2025 12:49:39 +0100 | wenzelm | misc tuning and updates for release; | changeset | files |
| Thu, 02 Jan 2025 12:14:51 +0100 | wenzelm | tuned NEWS; | changeset | files |
| Thu, 02 Jan 2025 12:13:18 +0100 | wenzelm | provide component cvc5-1.2.0, including arm64-linux; | changeset | files |
| Thu, 02 Jan 2025 08:37:55 +0100 | haftmann | refined syntax for code_reserved | changeset | files |
| Thu, 02 Jan 2025 08:37:52 +0100 | haftmann | explicit error message for non-existing code target | changeset | files |