March 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron Makefile.am
by Enea Zaffanella 06 Mar '06

06 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-06 13:34:46 Modified files: tests/Polyhedron: Makefile.am Log message: The failing configurations of dualhypercubes.cc are now recorded inside the test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/demos/ppl_lpsol Makefile.am
by Roberto Bagnara 06 Mar '06

06 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-06 13:18:52 Modified files: demos/ppl_lpsol: Makefile.am Log message: Invoke `ppl_lpsol' with the `-c' option, when assertions are disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 06 Mar '06

06 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-06 13:00:41 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Drafted a partial implementation for option -c (check result). Currently, it only tests for the feasibility of the computed optimal point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 06 Mar '06

06 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-03-06 12:08:15 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Dependencies fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/tests/Polyhedron dualhypercubes.cc
by Enea Zaffanella 06 Mar '06

06 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-06 11:28:29 Modified files: tests/Polyhedron: dualhypercubes.cc Log message: Started adapting it to the new standards (but still checking nothing). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/dualhypercub…

1 0

ppl/tests/Polyhedron maxspacedim1.cc
by Enea Zaffanella 06 Mar '06

06 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-06 11:22:46 Modified files: tests/Polyhedron: maxspacedim1.cc Log message: Added a fixme: the test is only doing some compile-time type checking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/maxspacedim1…

1 0

ppl/tests/Polyhedron nncminimize1.cc minconstr ...
by Enea Zaffanella 06 Mar '06

06 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-06 11:07:43 Modified files: tests/Polyhedron: nncminimize1.cc minconstraints2.cc Log message: Using std::distance() to compute the number of constraints/generators and check their count is the expected one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/nncminimize1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/minconstrain…

1 0

ppl/src Congruence_System.defs.hh Constraint_S ...
by Enea Zaffanella 06 Mar '06

06 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-03-06 11:00:58 Modified files: src : Congruence_System.defs.hh Constraint_System.defs.hh Generator_System.defs.hh Grid_Generator_System.defs.hh Log message: Let the const_iterator's of systems of constraints, generators, congruences and grid-genreators define the type alias difference_type, so as to allow for their use in algorithm such as std::distance. Corrected a bug in Grid_Generator_System, which was defining none of the required type aliases. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def…

1 0

ppl/tests ppl_test.hh BD_Shape/addconstraints1 ...
by Roberto Bagnara 06 Mar '06

06 Mar '06

1 0

ppl/tests/Grid topclosed1.cc
by Patricia Hill 06 Mar '06

06 Mar '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-03-06 08:26:42 Modified files: tests/Grid : topclosed1.cc Log message: Renovation of topclosed1.cc done. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/topclosed1.cc.diff…

1 0