October 2007 - PPL-devel - BUGSENG Mailman

ppl/src Temp.inlines.hh
by Roberto Bagnara 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-08 15:02:41 Modified files: src : Temp.inlines.hh Log message: Allow the use of DIRTY_TEMP and DIRTY_TEMP0 also outside the Parma_Polyhedra_Library namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Temp.inlines.hh.diff?cvsr…

1 0

ppl/tests/Polyhedron congruences1.cc
by Patricia Hill 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-08 14:35:03 Modified files: tests/Polyhedron: congruences1.cc Log message: Added some tests for congruences() and minimized_congruences(). test06 shows that implied equalities (eg A + B >= 3, A + B <= 3) are ignored (at the moment) for congruences(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/congruences1…

1 0

ppl/src conversion.cc
by Roberto Bagnara 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-08 14:32:51 Modified files: src : conversion.cc Log message: Use DIRTY_TEMP0 instead of a static variable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src Constraint_System.cc
by Enea Zaffanella 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-08 14:10:46 Modified files: src : Constraint_System.cc Log message: When building a Constraint_System from a Congruence_System, do properly set the topology and the space dimension; adding the positivity constraint is not needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff…

1 0

ppl/src Constraint.cc
by Enea Zaffanella 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-08 14:09:43 Modified files: src : Constraint.cc Log message: When building a constraint from a congruence, do not require a non-zero space dimension; also, avoid building a NOT_NECESSARILY_CLOSED constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo…

1 0

ppl/src Congruence.cc Congruence.inlines.hh
by Enea Zaffanella 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-08 13:46:16 Modified files: src : Congruence.cc Congruence.inlines.hh Log message: An assertion made stronger and a new one added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Enea Zaffanella 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-08 13:13:34 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Simplified the handling of error messages and ppl finalization, removing a few dead code and useless cuts. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/src Constraint_System.cc Grid.inlines.hh
by Patricia Hill 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-08 11:59:33 Modified files: src : Constraint_System.cc Grid.inlines.hh Log message: Undone change to Grid.inlines.hh in last commit and made a corresponding change to the Constraint_System() code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src Grid.inlines.hh
by Patricia Hill 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-08 11:29:45 Modified files: src : Grid.inlines.hh Log message: Fixed the bug shown in test03 and test10 in constraints1.cc Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/tests/Grid Makefile.am constraints1.cc
by Patricia Hill 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-08 11:24:37 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : constraints1.cc Log message: constraints1.cc has tests for constraints() and minimized_constraints(). test03 and tests10 show a bug - cause an assertion to fail - when getting the constraints from an empty grid with 0 space dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/constraints1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0