September 2001 - PPL-devel - BUGSENG Mailman

Polyhedra/ oc/Makefile.am oc/Makefile.in oc/us ...
by Roberto Bagnara 08 Sep '01

08 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/08 13:56:45 Modified files: doc : Makefile.am Makefile.in user.doxyconf-pdf.in src : Row.cc Row.defs.hh SatMatrix.cc SatRow.cc SatRow.defs.hh protect.sed Log message: More namespace improvements. Improve generation of PPL.hh.

1 0

Polyhedra/src Makefile.in
by Roberto Bagnara 07 Sep '01

07 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/07 22:38:00 Modified files: src : Makefile.in Log message: Regenerated.

1 0

Polyhedra/src Makefile.am Polyhedron.defs.hh p ...
by Roberto Bagnara 07 Sep '01

07 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/07 22:37:06 Modified files: src : Makefile.am Polyhedron.defs.hh protect.sed restore.sed Log message: BitSet and Integer will be separate packages.

1 0

Polyhedra/gmp-3.1.1 ansi2knr.c configure.in mk ...
by Roberto Bagnara 07 Sep '01

07 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/07 19:42:02 Modified files: gmp-3.1.1 : ansi2knr.c configure.in mkinstalldirs gmp-3.1.1/tests/rand: findlc.c Log message: The usual problem...

1 0

Polyhedra/ mp-3.1.1/ansi2knr.c mp-3.1.1/config ...
by Roberto Bagnara 07 Sep '01

07 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/07 19:32:23 Modified files: gmp-3.1.1 : ansi2knr.c configure.in mkinstalldirs gmp-3.1.1/tests/rand: findlc.c src : Makefile.am Makefile.in src/BitSet : Makefile.in src/Integer : Makefile.in test : Makefile.am Makefile.in Log message: We may want to produce a debugging version as well. The library is now called libPPL.

1 0

Polyhedra/ rc/Makefile.am rc/Makefile.in rc/PP ...
by Roberto Bagnara 07 Sep '01

07 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/07 19:10:04 Modified files: src : Makefile.am Makefile.in PPL.cc src/BitSet : Makefile.in src/Integer : Makefile.in test : Makefile.in Added files: src : protect.sed restore.sed Removed files: src : PPL.hh Log message: We need to determine the C++ preprocessor at configuration time. First attempt at the automatic generation of the only header file to be included by the user: PPL.hh.

1 0

Polyhedra/ mp-3.1.1/ansi2knr.c mp-3.1.1/config ...
by Roberto Bagnara 07 Sep '01

07 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/07 15:18:44 Modified files: gmp-3.1.1 : ansi2knr.c configure.in mkinstalldirs gmp-3.1.1/tests/rand: findlc.c src : ConSys.cc Matrix.cc Matrix.defs.hh Polyhedron.cc Polyhedron.defs.hh SatMatrix.cc SatMatrix.defs.hh Status.cc Status.defs.hh Log message: Obey Koenig's lookup rule.

1 0

Polyhedra/ rc/ConSys.defs.hh rc/ConSys.inlines ...
by Roberto Bagnara 06 Sep '01

06 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/06 21:53:12 Modified files: src : ConSys.defs.hh ConSys.inlines.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh LinExpression.cc LinExpression.defs.hh LinExpression.inlines.hh Matrix.cc Matrix.defs.hh Row.defs.hh Row.inlines.hh Variable.cc Variable.defs.hh test : Makefile.am Makefile.in user.cc Log message: As far as constraints are concerned, the user interface should be functionally complete.

1 0

Polyhedra/ est/user.cc rc/interface.cc
by Roberto Bagnara 03 Sep '01

03 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/03 22:47:55 Added files: test : user.cc Removed files: src : interface.cc Log message: New test program substitutes interface.cc.

1 0

Polyhedra/ oc/Makefile.in rc/ConSys.defs.hh rc ...
by Roberto Bagnara 03 Sep '01

03 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/03 22:46:17 Modified files: doc : Makefile.in src : ConSys.defs.hh ConSys.inlines.hh LinExpression.cc LinExpression.defs.hh Makefile.am Makefile.in Matrix.cc Matrix.defs.hh test : Makefile.am Makefile.in Log message: This is an interim solution whose only purpose is to be criticized.

1 0