May 2002 - PPL-devel - BUGSENG Mailman

ppl ./config.h.in ./configure.ac interfaces/C/ ...
by Roberto Bagnara 31 May '02

31 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-31 11:28:58 Modified files: . : config.h.in configure.ac interfaces/C : Makefile.am interfaces/C/lpenum: Makefile.am Log message: Improvements in automatic configuration and make file generation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.…

1 0

ppl/tests Makefile.am memory1.cc
by Roberto Bagnara 31 May '02

31 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-31 11:27:52 Modified files: tests : Makefile.am Added files: tests : memory1.cc Log message: To test the allocation error recovery facility of the library. Not yet operational. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests watchdog1.cc
by Roberto Bagnara 31 May '02

31 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-31 11:26:52 Modified files: tests : watchdog1.cc Log message: Minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/watchdog1.cc.diff?cvsro…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 30 May '02

30 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-05-30 16:42:52 Modified files: src : Polyhedron.cc Log message: Modified methos strongly_minimize() according to the recent findings by Pat. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 30 May '02

30 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-05-30 15:39:38 Modified files: src : Polyhedron.cc Log message: In method strongly_minimize_constraints(), corrected handling of the sorted flag for the constraint system and of the changed boolean flag. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 30 May '02

30 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-05-30 15:30:58 Modified files: src : Polyhedron.cc Log message: In methods strongly_minimize_*(), keeping track of whether or not we modify the considered system. If there has been no changes, the dual system is not flagged as out-of-date at the end of the method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 30 May '02

30 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-05-30 11:01:53 Modified files: src : Polyhedron.cc Log message: The method strongly_minimize_generators() now forces all point encodings to have the same epsilon-coordinate (which is 1). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 29 May '02

29 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-05-29 18:11:11 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: Documentation now introduces the C and NNC polyhedra. The grammar rules allow for strict inequalities and closure points. The test file has minor improvements; checking that redundant strict inequalities are ignored when creating a C polyhedron as a copy of an NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl src/Polyhedron.cc src/Polyhedron.defs.hh t ...
by Enea Zaffanella 29 May '02

29 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-05-29 15:53:42 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Methods NNC_minimize* renamed as strongly_minimize* and implemented (almost) according to the technical report Q286. When strongly minimizing a constraint system, we now always remove any eps-upper-bound constraint and we later insert back the constraint eps-leq-one only if that is needed to obtain an epsilon-representation. 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… Modified files: tests : NNCminimize1.cc NNCminimize2.cc NNCminimize3.cc NNCminimize4.cc NNCminimize6.cc Log message: Methods NNC_minimize* renamed as strongly_minimize* Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize2.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize3.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize4.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize6.cc.diff?cv…

1 0

ppl/tests NNCinclusion1.cc NNCminimize6.cc bou ...
by Roberto Bagnara 29 May '02

29 May '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-05-29 07:58:56 Modified files: tests : NNCinclusion1.cc NNCminimize6.cc boundingbox1.cc watchdog1.cc widening2.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCinclusion1.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize6.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/watchdog1.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/widening2.cc.diff?cvsro…

1 0