- PPL-devel - BUGSENG Mailman

ppl .cvsignore
by Roberto Bagnara 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-11 08:29:34 Modified files: . : .cvsignore Log message: Ignore the BitSet and Integer subdirectories: they must be here and must be ignored by CVS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/.cvsignore.diff?cvsroot=ppl&r…

1 0

ppl mkinstalldirs
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-10 21:50:08 Modified files: . : mkinstalldirs Log message: $Id tag removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/mkinstalldirs.diff?cvsroot=pp…

1 0

Import
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-10 21:45:52 Log message: Imported into the new repository. Status: Vendor Tag: RB Release Tags: INIT N ppl/TODO N ppl/ChangeLog N ppl/AUTHORS N ppl/COPYING N ppl/Makefile.am N ppl/INSTALL N ppl/Makefile.in N ppl/NEWS N ppl/ppl.lsm.in N ppl/README N ppl/acconfig.h N ppl/aclocal.m4 N ppl/config.guess N ppl/config.h.in N ppl/config.sub N ppl/configure N ppl/configure.in N ppl/depcomp N ppl/install-sh N ppl/missing N ppl/mkinstalldirs N ppl/.cvsignore N ppl/stamp-h.in N ppl/ppl.spec.in N ppl/doc/Makefile.am N ppl/doc/Makefile.in N ppl/doc/Polyhedra.texinfo N ppl/doc/definitions.dox N ppl/doc/devref.doxyconf-html.in N ppl/doc/devref.doxyconf-pdf.in N ppl/doc/devref.tex N ppl/doc/gfdl.dox N ppl/doc/gpl.dox N ppl/doc/gpl.texi N ppl/doc/gpl.texinfo N ppl/doc/texinfo.tex N ppl/doc/user.doxyconf-pdf.in N ppl/doc/user.tex N ppl/doc/user.doxyconf-html.in N ppl/src/ConSys.cc N ppl/src/ConSys.defs.hh N ppl/src/ConSys.inlines.hh N ppl/src/ConSys.types.hh N ppl/src/Constraint.cc N ppl/src/Constraint.defs.hh N ppl/src/Constraint.types.hh N ppl/src/GenSys.cc N ppl/src/GenSys.defs.hh N ppl/src/GenSys.inlines.hh N ppl/src/GenSys.types.hh N ppl/src/Generator.cc N ppl/src/Generator.defs.hh N ppl/src/Generator.inlines.hh N ppl/src/Generator.types.hh N ppl/src/Constraint.inlines.hh N ppl/src/LinExpression.cc N ppl/src/LinExpression.defs.hh N ppl/src/LinExpression.types.hh N ppl/src/Makefile.am N ppl/src/Makefile.in N ppl/src/Matrix.cc N ppl/src/Matrix.defs.hh N ppl/src/Matrix.inlines.hh N ppl/src/Matrix.types.hh N ppl/src/Polyhedron.cc N ppl/src/Polyhedron.defs.hh N ppl/src/Polyhedron.inlines.hh N ppl/src/Polyhedron.types.hh N ppl/src/Row.cc N ppl/src/Row.defs.hh N ppl/src/Row.inlines.hh N ppl/src/Row.types.hh N ppl/src/SatMatrix.cc N ppl/src/SatMatrix.defs.hh N ppl/src/SatMatrix.inlines.hh N ppl/src/SatMatrix.types.hh N ppl/src/SatRow.cc N ppl/src/SatRow.defs.hh N ppl/src/SatRow.inlines.hh N ppl/src/SatRow.types.hh N ppl/src/Status.cc N ppl/src/Status.defs.hh N ppl/src/Status.inlines.hh N ppl/src/Status.types.hh N ppl/src/Variable.cc N ppl/src/Variable.defs.hh N ppl/src/Variable.inlines.hh N ppl/src/Variable.types.hh N ppl/src/conversion.cc N ppl/src/minimize.cc N ppl/src/simplify.cc N ppl/src/LinExpression.inlines.hh N ppl/src/protect.sed N ppl/src/restore.sed N ppl/src/globals.cc N ppl/src/globals.hh N ppl/src/maxmin.hh N ppl/src/ppl.cc No conflicts created by this import

1 0

CVSROOT users
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2001-10-10 21:37:44 Added files: . : users Log message: This is used to produce nice ChangeLogs automatically. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/users.diff?cvsroot=ppl&r1…

1 0

About to freeze the old PPL source code repository
by Roberto Bagnara 10 Oct '01

10 Oct '01

Dear all, the subject says it all. If anything goes well (one never knows) tomorrow we should have the new repository. Ciao, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

w3ppl/htdocs/Documentation Makefile bibliograp ...
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-10 19:47:05 Modified files: htdocs/Documentation: Makefile bibliography.raw ppl.bib Added files: htdocs/Documentation: chernikova.c Log message: Provide the source code from LeVerge92. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/cherni… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

Polyhedra/src LinExpression.defs.hh LinExpress ...
by Enea Zaffanella 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/10 19:01:14 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh Variable.defs.hh Log message: Classes LinExpression and Variable inserted in the newly born module LinExpression. Corresponding friend functions inserted in the module too. Alas, we obtain warning from doxygen for putting class-scope methods under group-scope.

1 0

Polyhedra/doc Makefile.am Makefile.in
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/10 18:43:42 Modified files: doc : Makefile.am Makefile.in Log message: Erase the old target before calling gzip.

1 0

Polyhedra/src ConSys.cc ConSys.inlines.hh GenS ...
by Roberto Bagnara 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/10/10 18:05:40 Modified files: src : ConSys.cc ConSys.inlines.hh GenSys.cc GenSys.inlines.hh Log message: ConSys::num_inequalities(), ConSys::num_equalities(), GenSys::num_lines(), and GenSys::num_rays() are no longer inline.

1 0

Polyhedra/src ConSys.defs.hh
by Elisa Ricci 10 Oct '01

10 Oct '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/10/10 18:01:58 Modified files: src : ConSys.defs.hh Log message: Added an example to build a square with the system of constraints.

1 0