| Thu, 23 Jun 2016 16:46:36 +0200 | haftmann | avoid overlapping equations for gcd, lcm on integers | file | diff | annotate |
| Fri, 18 Dec 2015 11:14:28 +0100 | Andreas Lochbihler | add gcd instance for integer and serialisation to target language operations | file | diff | annotate |
| Sun, 27 Sep 2015 10:11:15 +0200 | haftmann | monomorphization of divmod wrt. code generation avoids costly dictionary unpacking at runtime | file | diff | annotate |
| Sat, 08 Aug 2015 10:51:33 +0200 | haftmann | direct bootstrap of integer division from natural division | file | diff | annotate |
| Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sun, 31 Aug 2014 09:10:40 +0200 | haftmann | convenient printing of (- 1 :: integer) after code evaluation | file | diff | annotate |