| Thu, 02 Jan 2025 08:37:55 +0100 |
haftmann |
refined syntax for code_reserved
|
file |
diff |
annotate
|
| Wed, 10 Aug 2022 18:26:22 +0000 |
haftmann |
Further streamlining of quick-and-dirty evaluation.
|
file |
diff |
annotate
|
| Mon, 25 Jul 2022 08:24:21 +0100 |
Achim D. Brucker |
more correct approximation (contributed by Achim Brucker)
|
file |
diff |
annotate
|
| Thu, 18 Jul 2019 12:06:42 +0200 |
nipkow |
added forgotten declaration provided by Florian Haftmann
|
file |
diff |
annotate
|
| Sun, 10 Mar 2019 15:16:45 +0000 |
haftmann |
migrated from Nums to Zarith as library for OCaml integer arithmetic
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 14:30:09 +0200 |
nipkow |
Prefix form of infix with * on either side no longer needs special treatment
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Tue, 20 Jun 2017 13:07:47 +0200 |
haftmann |
avoid ancient [code, code del] antipattern
|
file |
diff |
annotate
|
| Tue, 20 Jun 2017 13:07:45 +0200 |
haftmann |
obsolete
|
file |
diff |
annotate
|
| Fri, 24 Jun 2016 18:36:14 +0200 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2015 09:21:15 +0200 |
haftmann |
prod_case as canonical name for product type eliminator
|
file |
diff |
annotate
|
| Fri, 04 Sep 2015 19:22:13 +0200 |
wenzelm |
modernized name space management -- more uniform qualification;
|
file |
diff |
annotate
|
| Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Sat, 11 Apr 2015 11:56:40 +0100 |
paulson |
Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala.
|
file |
diff |
annotate
|
| Tue, 19 Nov 2013 10:05:53 +0100 |
haftmann |
eliminiated neg_numeral in favour of - (numeral _)
|
file |
diff |
annotate
|
| Sun, 23 Jun 2013 21:16:07 +0200 |
haftmann |
migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
|
file |
diff |
annotate
|
| Fri, 21 Jun 2013 12:41:08 +0200 |
hoelzl |
Code_Real_Approx_By_Float: remove code equations using Ratreal
|
file |
diff |
annotate
|
| Tue, 26 Mar 2013 20:02:02 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Fri, 15 Feb 2013 08:31:31 +0100 |
haftmann |
two target language numeral types: integer and natural, as replacement for code_numeral;
|
file |
diff |
annotate
|
| Sun, 25 Mar 2012 20:15:39 +0200 |
huffman |
merged fork with new numeral representation (see NEWS)
|
file |
diff |
annotate
|
| Sun, 12 Feb 2012 22:10:33 +0100 |
haftmann |
notepad is more appropriate here
|
file |
diff |
annotate
|
| Mon, 14 Nov 2011 21:11:31 +0100 |
hoelzl |
remove sorry, otherwise it breaks the testboard
|
file |
diff |
annotate
|
| Mon, 14 Nov 2011 12:28:34 +0100 |
hoelzl |
enforce quick_and_dirty in Code_Real_Approx_By_Float
|
file |
diff |
annotate
|
| Mon, 14 Nov 2011 11:50:52 +0100 |
hoelzl |
add Code_Real_Approx_By_Float
|
file |
diff |
annotate
|