| Sun, 31 May 2009 17:45:53 +0200 |
wenzelm |
provide local dummy version of makestring -- NB: makestring is fragile and not portable, it should not occur in repository sources;
|
file |
diff |
annotate
|
| Thu, 28 May 2009 20:01:38 +0200 |
bulwahn |
added remark to code
|
file |
diff |
annotate
|
| Wed, 20 May 2009 22:24:07 +0200 |
haftmann |
experimental values command
|
file |
diff |
annotate
|
| Mon, 18 May 2009 09:48:06 +0200 |
haftmann |
introduced Thm.generatedK
|
file |
diff |
annotate
|
| Sat, 16 May 2009 20:17:59 +0200 |
bulwahn |
added new kind generated_theorem for theorems which are generated by packages to distinguish between theorems from users and packages
|
file |
diff |
annotate
|
| Fri, 15 May 2009 15:56:28 +0200 |
bulwahn |
added predicate transformation function for code generation
|
file |
diff |
annotate
|
| Fri, 15 May 2009 15:29:34 +0200 |
bulwahn |
added predicate transformation function for code generation
|
file |
diff |
annotate
|
| Thu, 14 May 2009 15:09:48 +0200 |
haftmann |
merged module code_unit.ML into code.ML
|
file |
diff |
annotate
|
| Tue, 12 May 2009 17:09:36 +0200 |
haftmann |
marginally tuned
|
file |
diff |
annotate
|
| Mon, 11 May 2009 20:09:03 +0200 |
haftmann |
fixed merge accident
|
file |
diff |
annotate
|
| Mon, 11 May 2009 17:20:52 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Mon, 11 May 2009 09:39:53 +0200 |
bulwahn |
fixed code_pred command
|
file |
diff |
annotate
|
| Mon, 11 May 2009 09:18:42 +0200 |
bulwahn |
Added pred_code command
|
file |
diff |
annotate
|
| Wed, 22 Apr 2009 11:10:23 +0200 |
bulwahn |
added general preprocessing of equality in predicates for code generation
|
file |
diff |
annotate
|
| Fri, 24 Apr 2009 17:45:16 +0200 |
haftmann |
some experiements towards user interface for predicate compiler
|
file |
diff |
annotate
|
| Sun, 15 Mar 2009 15:59:44 +0100 |
wenzelm |
simplified attribute setup;
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 14:43:51 +0100 |
haftmann |
NameSpace.base_name ~> Long_Name.base_name
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 09:37:33 +0100 |
haftmann |
binding replaces bstring
|
file |
diff |
annotate
|
| Sun, 08 Mar 2009 15:25:28 +0100 |
haftmann |
added predicate compiler, as formally checked prototype, not as user package
|
file |
diff |
annotate
|