March 2002 - PPL-devel - BUGSENG Mailman

ppl/src ConSys.cc
by Enea Zaffanella 25 Mar '02

25 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-25 16:56:35 Modified files: src : ConSys.cc Log message: Trivially true constraints (such as 1 > 0, the eps_leq_one constraint) should not be considered by method "has_strict_inequalities()". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src Poly_Gen_Relation.defs.hh Poly_Gen_Rel ...
by Roberto Bagnara 25 Mar '02

25 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-25 15:59:11 Modified files: src : Poly_Gen_Relation.defs.hh Poly_Gen_Relation.inlines.hh Log message: Provide a hidden Poly_Gen_Relation::get_flags() method for use by the foreign language interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.inlines…

1 0

ppl/src Poly_Con_Relation.defs.hh Poly_Con_Rel ...
by Roberto Bagnara 25 Mar '02

25 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-25 15:51:26 Modified files: src : Poly_Con_Relation.defs.hh Poly_Con_Relation.inlines.hh Log message: Provide a hidden Poly_Con_Relation::get_flags() method for use by the foreign language interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.inlines…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Roberto Bagnara 25 Mar '02

25 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-25 15:50:25 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Both Polyhedron::relation_with() methods were erroneously not declared const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 25 Mar '02

25 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-25 14:55:15 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Added more interface functions for ordinary polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 24 Mar '02

24 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-24 21:07:53 Modified files: src : PolyBase.cc Log message: Coorected trivial bug in check_universe(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 24 Mar '02

24 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-24 20:29:53 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: All the functionality provided by the C++ classes Constraint, ConSys, Generator and GenSys is now available to the C user. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 24 Mar '02

24 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-24 20:02:16 Modified files: src : PolyBase.cc Log message: Method check_universe() is now correct for NNC polyhedra. Try to exploit the boolean value returned by update_generators() to shorthen computations when possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src PolyBase.cc PolyBase.defs.hh
by Enea Zaffanella 24 Mar '02

24 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-24 16:32:09 Modified files: src : PolyBase.cc PolyBase.defs.hh Log message: Methods obtain_sorted_constraints(), obtain_sorted_generators(), obtain_sorted_constraints_with_sat_c(), obtain_sorted_generators_with_sat_g() now declared const, since they do not logically modify the polyhedron. As a consequence, simplified (by removing the const_cast's) the methods constraints(), generators(), intersection_assign(), convex_hull_assign(), convex_hull_assign_and_minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 24 Mar '02

24 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-24 15:12:30 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Added all the functions for the handling of generators and generators' systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0