March 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog SICStus/ppl_sicstus.cc Y ...
by Patricia Hill 26 Mar '02

26 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-26 11:05:01 Modified files: interfaces/Prolog/SICStus: ppl_sicstus.cc interfaces/Prolog/YAP: ppl_yap.cc interfaces/Prolog/GNU: ppl_gprolog.pl Log message: Update so that they are all consistent with each other and SWI Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl/src NNC_Polyhedron.cc NNC_Polyhedron.defs. ...
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 21:21:05 Modified files: src : NNC_Polyhedron.cc NNC_Polyhedron.defs.hh PolyBase.defs.hh Polyhedron.cc Polyhedron.defs.hh Log message: Added explicit constructors (to be used as conversion functions) for building a Polyhedron starting from a NNC_Polyhedron, and viceversa. Added method bool NNC_Polyhedron::is_topologucally_closed() used in the above constructor to check if the argument is legal. NNC_Polyhedron::limited_widening_assign() reimplemented using the new constructor functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs… 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/src PolyBase.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 21:17:24 Modified files: src : PolyBase.cc Log message: Corrected a bug in the assignment operator, which was not clearing matrices when a zero-dim polyhedron was assigned. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl TODO
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 19:43:37 Modified files: . : TODO Log message: More things to do after the merge with the `strict' branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.11…

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 19:40:07 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: More interface functions added. 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/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 17:08:28 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Widenings added. 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 NNC_Polyhedron.cc NNC_Polyhedron.defs.hh
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 17:01:40 Modified files: src : NNC_Polyhedron.cc NNC_Polyhedron.defs.hh Log message: Method limited_widening_assign() overridden in NNC_Polyhedron to avoid an annoying problem when testing with china. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di…

1 0

ppl/src PolyBase.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 17:00:40 Modified files: src : PolyBase.cc Log message: When looping on constraints in widening_assign(), now going upward so as to avoid reversing the ordering of constraints. 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 25 Mar '02

25 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-25 16:57:32 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Added an interface for the Polyhedron::relation_with() methods. 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/interfaces/Prolog/SWI ppl_swiprolog.cc
by Patricia Hill 25 Mar '02

25 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-25 16:57:00 Modified files: interfaces/Prolog/SWI: ppl_swiprolog.cc Log message: Predicate add_dimensions_and_constraints/2 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swi…

1 0