| Sun, 21 Oct 2007 14:53:44 +0200 |
nipkow |
Eliminated most of the neq0_conv occurrences. As a result, many
|
file |
diff |
annotate
|
| Sun, 30 Sep 2007 21:55:15 +0200 |
wenzelm |
avoid internal names;
|
file |
diff |
annotate
|
| Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
| Mon, 20 Aug 2007 18:07:49 +0200 |
haftmann |
renamed code_gen to export_code
|
file |
diff |
annotate
|
| Mon, 20 Aug 2007 11:18:18 +0200 |
nipkow |
removed allpairs
|
file |
diff |
annotate
|
| Mon, 13 Aug 2007 21:22:37 +0200 |
haftmann |
renamed keyword "to" to "module_name"
|
file |
diff |
annotate
|
| Thu, 19 Jul 2007 21:47:39 +0200 |
haftmann |
uniform naming conventions for CG theories
|
file |
diff |
annotate
|
| Mon, 16 Jul 2007 09:29:03 +0200 |
haftmann |
dropped outer ROOT structure for generated code
|
file |
diff |
annotate
|
| Fri, 29 Jun 2007 16:05:00 +0200 |
haftmann |
dropped local cg cmd
|
file |
diff |
annotate
|
| Thu, 28 Jun 2007 19:09:38 +0200 |
haftmann |
new code generator framework
|
file |
diff |
annotate
|
| Sat, 23 Jun 2007 19:33:22 +0200 |
nipkow |
tuned and renamed group_eq_simps and ring_eq_simps
|
file |
diff |
annotate
|
| Mon, 11 Jun 2007 11:06:11 +0200 |
chaieb |
tuned Proof and Document
|
file |
diff |
annotate
|
| Tue, 05 Jun 2007 20:44:12 +0200 |
chaieb |
Added twe Examples for Quantifier elimination ofer linear real arithmetic and over the mixed theory of linear real artihmetic with integers
|
file |
diff |
annotate
|