| Tue, 19 Sep 2006 15:21:43 +0200 | haftmann | explicit divmod algorithm for code generation | file | diff | annotate |
| Wed, 30 Aug 2006 03:19:08 +0200 | webertj | lin_arith_prover: splitting reverted because of performance loss | file | diff | annotate |
| Mon, 14 Aug 2006 13:46:06 +0200 | haftmann | simplified code generator setup | file | diff | annotate |
| Sat, 29 Jul 2006 13:15:12 +0200 | webertj | lin_arith_prover splits certain operators (e.g. min, max, abs) | file | diff | annotate |
| Wed, 26 Jul 2006 19:23:04 +0200 | webertj | linear arithmetic splits certain operators (e.g. min, max, abs) | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:30 +0200 | wenzelm | simprocs: no theory argument -- use simpset context instead; | file | diff | annotate |
| Tue, 17 Jan 2006 16:36:57 +0100 | haftmann | substantial improvements in code generator | file | diff | annotate |