src/HOL/Codegenerator_Test/Code_Test_Scala.thy
Thu, 16 Jan 2025 09:26:58 +0100 haftmann dropped redundant material (left-over from 5e3dd01a9eb2)
Sat, 04 Jan 2025 17:38:45 +0100 haftmann separate theory for tests checking bit operations
Sat, 04 Jan 2025 14:41:30 +0100 haftmann optionally use shift operations on target numerals for efficient execution
Mon, 23 Dec 2024 21:22:10 +0100 haftmann explicit tests for target-language bit operations
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Sat, 12 May 2018 11:24:11 +0200 Andreas Lochbihler new tool Code_Lazy
Thu, 14 Dec 2017 18:42:39 +0100 haftmann dedicated case option for code generation to Scala
less more (0) -10 -7 tip