| Thu, 24 Apr 2025 14:23:36 +0200 | wenzelm | tuned document text; | file | diff | annotate |
| Sat, 05 Apr 2025 08:49:53 +0200 | haftmann | incorporate target-language integer implementation of bit shifts into Main | file | diff | annotate |
| Tue, 28 Jan 2025 13:02:42 +0100 | haftmann | more explicit tests for non-PolyML SML platforms | file | diff | annotate |
| Thu, 16 Jan 2025 18:07:31 +0100 | haftmann | restrict check to PolyML | file | diff | annotate |
| Thu, 16 Jan 2025 09:26:57 +0100 | haftmann | explicit check for (experimentally determined) border value | file | diff | annotate |
| Sat, 04 Jan 2025 17:38:45 +0100 | haftmann | separate theory for tests checking bit operations | file | diff | annotate |