April 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C/lpenum Makefile.am afiro.mps ...
by Roberto Bagnara 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-02 14:20:35 Modified files: interfaces/C/lpenum: Makefile.am Added files: interfaces/C/lpenum: afiro.mps bgprtr.mps sample.mps Log message: Some linear programs useful for testing purposes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/afiro.mps… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/bgprtr.mp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/sample.mp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.…

1 0

ppl/tests Makefile.am adddimensions5.cc adddim ...
by Elisa Ricci 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-04-02 12:08:35 Modified files: tests : Makefile.am Added files: tests : adddimensions5.cc adddimensions6.cc adddimensions7.cc Log message: Added tests for the functions add_dimensions_and_embed and add_dimensions_and_project for NNC_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions5.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions6.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions7.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests Makefile.am print.hh addgenerators7.cc
by Elisa Ricci 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-04-02 09:43:43 Modified files: tests : Makefile.am print.hh Added files: tests : addgenerators7.cc Log message: Add a test for the function add_generators_and_minimize(gs) for a NNC_Polyhedron. Changed the functions to print the polyhedra so that they can be used to print also for the NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators7.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

ppl/src PolyBase.cc
by Roberto Bagnara 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-02 08:19:05 Modified files: src : PolyBase.cc Log message: Some nonsense removed from PolyBase::affine_image() and PolyBase::affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src PolyBase.cc
by Roberto Bagnara 02 Apr '02

02 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-02 08:07:40 Modified files: src : PolyBase.cc Log message: PolyBase::limited_widening_assign() fixed: it was not checking the return value of PolyBase::update_generators(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/interfaces/C/lpenum lpenum.c
by Roberto Bagnara 01 Apr '02

01 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-01 11:38:34 Modified files: interfaces/C/lpenum: lpenum.c Log message: Start filtering candidate solutions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0