Timeline


and

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 …

Sep 15, 2009:

5:21 PM Changeset [4211] by groessli
Remove some old and unused code from CAD.
4:13 AM Changeset [4210] by groessli
More changes to CAD (it is incorrect at the moment...).

Sep 14, 2009:

5:23 AM Changeset [4209] by groessli
Update CAD code generator and NLGen documentation. Fix bug in Qepcad …

Sep 11, 2009:

7:02 PM Changeset [4208] by groessli
- Add functions to parse quantifier-free formulas (in "usual" …

Sep 10, 2009:

7:17 PM Changeset [4207] by groessli
Add an unfinished manual for NLGen.
6:51 PM Ticket #40 (UniFCO fails to find a strict FCO placement) created by groessli
For the input below, UniFCO fails to find a strict FCO placement …
2:43 PM Changeset [4206] by groessli
Enhance QEPCAD formula parser to support arbitrary variable names (not …
2:40 PM Changeset [4205] by groessli
Add a main program for code generation based on CAD (CADGen). Some …

Sep 8, 2009:

6:35 PM DevelopingLooPo edited by groessli
(diff)
6:20 PM Changeset [4204] by groessli
Fix handling of empty disjuncts of iteration spaces.
4:59 PM WikiStart edited by groessli
(diff)
4:57 PM WikiStart edited by groessli
(diff)
4:56 PM WikiStart edited by groessli
(diff)
4:55 PM DevelopingLooPo created by groessli
4:54 PM WikiStart edited by groessli
(diff)

Sep 3, 2009:

7:24 PM Changeset [4203] by groessli
Fix a bug in expression simplification.

Aug 31, 2009:

7:52 PM Changeset [4202] by groessli
Drop empty domains (to this end, fix empty system detection in Chernikova).
Note: See TracTimeline for information about the timeline view.