Timeline


and

Nov 11, 2009:

6:45 PM Changeset [4261] by groessli
There is no exitSuccess on GHC 6.8, so exit with exitWith instead.
3:56 PM WikiStart edited by classenm
included link to michael classen's homepage (diff)
3:51 PM WikiStart edited by classenm
PolyLib is now used to link to the Polylib-description (diff)
3:50 PM Polylib edited by classenm
deleted this page, since the spelling "PolyLib" is used instead (diff)
3:50 PM PolyLib created by classenm
created the page about PolyLib including some debugging tips
3:47 PM Polylib created by classenm
Added a small description of PolyLib and how to use PrintConstraints?

Nov 9, 2009:

4:34 PM Changeset [4260] by groessli
Add ${gmake} hsloopotest ./hsloopotest to the HsLooPo? test command …
4:29 PM Changeset [4259] by groessli
Let us try to introduce some test cases for HsLooPo? (finally). …
4:19 PM Ticket #42 (Chernikova incorrectness) closed by groessli
fixed: (In [4258]) - Make SortedSystem? a data type (instead of a type …
4:19 PM Changeset [4258] by groessli
- Make SortedSystem? a data type (instead of a type synonym) and extend …
4:03 PM Changeset [4257] by groessli
Set PIPLIB in Make.rules (needed when Piplib is not installed together …

Nov 5, 2009:

6:12 PM LibrariesForLooPo edited by groessli
(diff)
12:03 PM WikiStart edited by grosser
Reformat text (diff)
11:52 AM WikiStart edited by grosser
Link to the updated CheckingOutAndCommitting (diff)
11:51 AM CheckingOutAndCommitting edited by grosser
Document read-only access (diff)
11:42 AM WikiStart edited by grosser
Remove unused sentence (diff)
11:41 AM WikiStart edited by grosser
Add information about public SVN access (diff)
2:33 AM Ticket #42 (Chernikova incorrectness) created by groessli
chernikovaProjectToVars computes an incorrect result for the test …

Nov 3, 2009:

7:48 PM Changeset [4256] by groessli
Update the nightly test to the new library structure. LooPo is now …
7:45 PM LibrariesForLooPo edited by groessli
(diff)
7:44 PM LibrariesForLooPo edited by groessli
(diff)
7:44 PM LibrariesForLooPo edited by groessli
(diff)
7:39 PM LibrariesForLooPo edited by groessli
(diff)
7:38 PM LibrariesForLooPo edited by groessli
(diff)
7:31 PM LibrariesForLooPo created by groessli
7:26 PM WikiStart edited by groessli
(diff)
7:25 PM LooPoSnapshot edited by groessli
(diff)
7:25 PM LooPoSnapshot edited by groessli
(diff)
7:18 PM WikiStart edited by groessli
(diff)
6:46 PM Changeset [4255] by groessli
Extract the location of Piplib from LooPo's Make.rules and set …
6:43 PM Changeset [4254] by groessli
Remove Piplib from LooPo and add a configure option --with-piplib. …
6:35 PM Changeset [4253] by classenm
new example for sor2d that crashes in taskloops, but not here
5:55 PM Changeset [4252] by groessli
Fix C++ includes (mostly iostream.h -> iostream) for GCC 4.4.
5:35 PM Changeset [4251] by groessli
New patched Omega which should work with GCC 4.4.
5:25 PM Changeset [4250] by groessli
Store our patched version of Omega in Subversion. omega1.2 is the …

Nov 2, 2009:

5:11 PM Changeset [4249] by groessli
- Fix a "const char *" to "char *" conversion criticized by GCC 4.4. - …

Oct 27, 2009:

1:24 PM Changeset [4248] by classenm
small test example for projectToVars' using HsChernikova? in comparison …

Oct 26, 2009:

2:06 PM Changeset [4247] by classenm
new example ineqSystem, that seems to yield (-1) as number of …

Oct 22, 2009:

4:17 PM Changeset [4246] by classenm
small change in the soak and drain function that should eliminate at …

Oct 21, 2009:

5:56 PM Changeset [4245] by classenm
test2 contains a simple polytope that should not be empty, but the …

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/... …
Note: See TracTimeline for information about the timeline view.