- PPL-devel - BUGSENG Mailman

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

ppl ./TODO interfaces/C/Makefile.am interfaces ...
by Roberto Bagnara 31 Mar '02

31 Mar '02

1 0

ppl ./configure.ac interfaces/C/Makefile.am in ...
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 21:35:59 Modified files: . : configure.ac interfaces/C : Makefile.am Added files: interfaces/C/lpenum: .cvsignore Makefile.am lpenum.c Log message: Added a first starting draft of `lpenum', a program to solve linear programming problems by vertex/point enumeration. Just a toy to test the C interface of the library. Patches: 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/.cvsignor… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/C/lpenum
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 21:14:08 ppl/interfaces/C/lpenum Update of /cvs/ppl/ppl/interfaces/C/lpenum In directory spartacus.cs.unipr.it:/tmp/cvs-serv6641/lpenum Log Message: Directory /cvs/ppl/ppl/interfaces/C/lpenum added to the repository

1 0

ppl/src Generator.cc Matrix.cc PolyBase.cc Row ...
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 20:55:05 Modified files: src : Generator.cc Matrix.cc PolyBase.cc Row.cc SatMatrix.cc Log message: All the OK() methods are now silent if the NDEBUG symbol is defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… 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/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot…

1 0

ppl/src PolyBase.cc
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 19:26:24 Modified files: src : PolyBase.cc Log message: Always provide default cases in switches. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src ConSys.defs.hh ConSys.inlines.hh Const ...
by Roberto Bagnara 31 Mar '02

31 Mar '02

1 0

ppl/src PolyBase.cc
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 11:45:22 Modified files: src : PolyBase.cc Log message: Started exploiting the return value of PolyBase::minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/tests Makefile.am widening1.cc
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 11:42:34 Modified files: tests : Makefile.am Added files: tests : widening1.cc Log message: Test Polyhedron::widening_assign() with empty polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/widening1.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src PolyBase.cc
by Roberto Bagnara 31 Mar '02

31 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-31 10:31:10 Modified files: src : PolyBase.cc Log message: PolyBase::intersection_assign_and_minimize() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0