src/Doc/Codegen/Adaptation.thy
Sun, 20 Apr 2025 16:45:09 +0200 haftmann notes on bit shift rewrites
Sat, 05 Apr 2025 08:49:53 +0200 haftmann incorporate target-language integer implementation of bit shifts into Main
Sat, 04 Jan 2025 14:41:30 +0100 haftmann optionally use shift operations on target numerals for efficient execution
Thu, 02 Jan 2025 08:37:55 +0100 haftmann refined syntax for code_reserved
Mon, 04 Jul 2022 07:57:22 +0000 haftmann officical abstract characters for code generation
Sat, 19 Jan 2019 07:19:16 +0000 haftmann self-contained code modules for Haskell
Mon, 14 Jan 2019 18:33:53 +0000 haftmann canonical operation to typeset generated code makes dedicated environment obsolete
less more (0) -30 -10 -7 tip