Timeline


and

Oct 16, 2009:

1:24 PM CADGen edited by groessli
(diff)

Oct 15, 2009:

3:21 PM Changeset [4244] by classenm
2nd attempt to implement evalueToExpr' for EFractional constructor... …
2:10 PM Changeset [4243] by classenm
1st attempt to implement evalueToExpr' for EFractional constructor
1:06 AM Changeset [4242] by groessli
Extend Barvinok interface to support "fractional" enode types. …

Oct 14, 2009:

12:30 PM Changeset [4241] by classenm
using Chernikova for sorting inequations seems to avoid some …

Oct 12, 2009:

6:01 PM Changeset [4240] by groessli
Update documentation and command line options for NLGen.
5:59 PM Changeset [4239] by groessli
If the full test is running as user "loopo" and /home/looposcratch/... …

Oct 8, 2009:

10:28 AM Changeset [4238] by classenm
commit of current status of alternative to disjointUnion in ehrhart …
8:26 AM Changeset [4237] by classenm
fixed some name clash with Matrix and IneqSystem? parse functions

Oct 6, 2009:

5:37 PM Changeset [4236] by classenm
added a read feature to Matrix and IneqSystem?
5:37 PM Changeset [4235] by classenm
small test case for a bug in barvinok

Oct 5, 2009:

3:04 PM Changeset [4234] by classenm
added some checks for negative indices in parameter lists that seem to …

Oct 1, 2009:

3:37 PM Changeset [4233] by groessli
Fix some typos in the documentation.

Sep 30, 2009:

11:24 PM CADGen edited by groessli
(diff)
11:19 PM CADGen edited by groessli
(diff)
11:17 PM CADGen edited by groessli
(diff)
8:05 PM CADGen created by groessli
7:41 PM WikiStart edited by groessli
(diff)
7:37 PM Changeset [4232] by groessli
Set session reuse for Reduce and QEPCAD to True if they are not …
6:56 PM Changeset [4231] by groessli
Change configure not to test for C++ compiler and how to build shared …
5:54 PM Changeset [4230] by groessli
Create a branch for the CADGen 0.1 release.
5:53 PM Changeset [4229] by groessli
Fix a parser bug in CADGen and add some documentation.
1:56 PM Changeset [4228] by groessli
A few examples for CADGen.
1:44 PM Changeset [4227] by groessli
Small changes and fixes for CADGen.

Sep 28, 2009:

3:57 PM Ticket #41 (omegaTest hangs) closed by groessli
fixed: The performance of the Omega test degrades if it has to analyze many …
3:42 PM Changeset [4226] by groessli
The performance of the Omega test degrades if it has to analyze many …
2:55 PM Ticket #41 (omegaTest hangs) created by classenm
in LMath.Algo.OmegaTest?: omegaTest seems to hang with following …

Sep 22, 2009:

7:43 PM Changeset [4225] by groessli
- Enable ression reuse for QEPCAD by default. - Some changes to …
2:48 AM Changeset [4224] by groessli
Various fixes.

Sep 21, 2009:

3:06 AM Changeset [4223] by groessli
Various fixes.

Sep 20, 2009:

10:17 PM Changeset [4222] by groessli
A few improvements to CAD code generation and simplification.
8:18 PM Changeset [4221] by groessli
- Remove some old code from CAD. - Implement algebraic numbers based …

Sep 18, 2009:

7:13 PM Changeset [4220] by groessli
Remove some unused code.

Sep 17, 2009:

7:07 PM Changeset [4219] by groessli
- Fix a missing case in CADGen (the CAD of the iterator domains can …
7:04 PM Changeset [4218] by groessli
Make Makefile check if ./configure is up-to-date. If not, the user is …
3:51 AM Changeset [4217] by groessli
Adapt CADGen to the change in Config.
3:48 AM Changeset [4216] by groessli
- Change configure and Config.hs such that Reduce/Qepcad?/SLFQ can be …
1:50 AM Changeset [4215] by groessli
- Fix bugs in new CADGen implementation. - Make CADGen parse NLGen …

Sep 16, 2009:

8:21 PM Changeset [4214] by groessli
Remove a (superfluous) import which does not work with GHC 6.8.
8:14 PM Changeset [4213] by groessli
Update CADGen to support scattering (using a new algorithm in CAD).
2:09 PM Changeset [4212] by groessli
Remove a pattern type signature which is (erroneously) rejected by GHC …
Note: See TracTimeline for information about the timeline view.