October 2001 - PPL-devel - BUGSENG Mailman

ppl/src Constraint.defs.hh
by Elisa Ricci 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-11 11:16:08 Modified files: src : Constraint.defs.hh Log message: Added two examples in the comment: one for the building of an inequality and the other for the building of an equality. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0

w3ppl/htdocs/Download Download.raw
by Enea Zaffanella 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-11 10:52:00 Modified files: htdocs/Download: Download.raw Log message: Added a few lines on the required versions of GCC, automake, autoconf, doxygen and kgcc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs/Download Download.raw
by Roberto Bagnara 11 Oct '01

11 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-11 08:46:15 Modified files: htdocs/Download: Download.raw Log message: Added a section about requirements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

ppl Makefile.am Makefile.in configure configure.in
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:39:10 Modified files: . : Makefile.am Makefile.in configure configure.in Log message: Disable the test directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.in.diff?cvsroot=ppl…

1 0

ppl ./.cvsignore src/.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:33:16 Modified files: . : .cvsignore Added files: src : .cvsignore Log message: My mistake: BitSet and Integer are subdirectories of src. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/.cvsignore.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/.cvsignore.diff?cvsroot=p…

1 0

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