equal
deleted
inserted
replaced
14 |
14 |
15 * March 2021: Florian Haftmann, TU München |
15 * March 2021: Florian Haftmann, TU München |
16 More ambitious minimization of case expressions in generated code; |
16 More ambitious minimization of case expressions in generated code; |
17 code generation: type annotations in pattern bindings are printed in a |
17 code generation: type annotations in pattern bindings are printed in a |
18 way suitable for Scala 3. |
18 way suitable for Scala 3. |
|
19 |
|
20 * July 2022: Florian Haftmann, TU München and René Thiemann, UIBK |
|
21 Theory Code_Abstract_Char implements characters by target language |
|
22 integers, sacrificing pattern patching in exchange for dramatically |
|
23 increased performance for comparisions. |
19 |
24 |
20 |
25 |
21 Contributions to Isabelle2021-1 |
26 Contributions to Isabelle2021-1 |
22 ------------------------------- |
27 ------------------------------- |
23 |
28 |