- PPL-devel - BUGSENG Mailman

Polyhedra/gmp-3.1.1 Makefile.in ansi2knr.c con ...
by Roberto Bagnara 27 Aug '01

27 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/27 21:47:56 Modified files: gmp-3.1.1 : Makefile.in ansi2knr.c configure.in mkinstalldirs gmp-3.1.1/demos: Makefile.in gmp-3.1.1/mpbsd: Makefile.in gmp-3.1.1/mpbsd/tests: Makefile.in gmp-3.1.1/mpf : Makefile.in gmp-3.1.1/mpf/tests: Makefile.in gmp-3.1.1/mpfr : Makefile.in gmp-3.1.1/mpfr/tests: Makefile.in gmp-3.1.1/mpn : Makefile.in gmp-3.1.1/mpn/tests: Makefile.in gmp-3.1.1/mpq : Makefile.in gmp-3.1.1/mpq/tests: Makefile.in gmp-3.1.1/mpz : Makefile.in gmp-3.1.1/mpz/tests: Makefile.in gmp-3.1.1/tests: Makefile.in gmp-3.1.1/tests/rand: Makefile.in findlc.c gmp-3.1.1/tune : Makefile.in Log message: Configuration mechanisms updated/improved.

1 0

Polyhedra/src ConSys.defs.hh Constraint.cc Con ...
by Roberto Bagnara 27 Aug '01

27 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/27 21:39:38 Modified files: src : ConSys.defs.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh GenSys.defs.hh LinExpr.defs.hh LinExpr.inlines.hh Matrix.cc Matrix.defs.hh Matrix.inlines.hh PPL.hh Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Row.defs.hh Row.inlines.hh SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh SatRow.cc SatRow.defs.hh SatRow.inlines.hh Status.cc conversion.cc interface.cc simplify.cc Log message: We were violating the standard in several places (and incoherently, too).

1 0

Polyhedra/ rc/ConSys.cc rc/GenSys.cc rc/Makefi ...
by Roberto Bagnara 25 Aug '01

25 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/25 17:20:36 Modified files: src : ConSys.cc GenSys.cc Makefile.am Makefile.in PPL.cc PPL.hh conversion.cc minimize.cc simplify.cc src/Integer : Makefile.am Makefile.in test : bug.cc bug2.cc bug3.cc bug4.cc bug5.cc bug6.cc bug7.cc bug8.cc bug9.cc buga.cc bugb.cc bugc.cc bugd.cc buge.cc bugf.cc testMinimize.cc Added files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.types.hh Removed files: src : Poly.cc Poly.defs.hh Poly.inlines.hh Poly.types.hh Log message: About to implement a new idea for the public interface. Meanwhile, welcome back Polyhedron!

1 0

Polyhedra/gmp-3.1.1 Makefile.in demos/Makefile ...
by Roberto Bagnara 22 Aug '01

22 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/22 10:30:59 Modified files: gmp-3.1.1 : Makefile.in gmp-3.1.1/demos: Makefile.in gmp-3.1.1/mpbsd: Makefile.in gmp-3.1.1/mpbsd/tests: Makefile.in gmp-3.1.1/mpf : Makefile.in gmp-3.1.1/mpf/tests: Makefile.in gmp-3.1.1/mpfr : Makefile.in gmp-3.1.1/mpfr/tests: Makefile.in gmp-3.1.1/mpn : Makefile.in gmp-3.1.1/mpn/tests: Makefile.in gmp-3.1.1/mpq : Makefile.in gmp-3.1.1/mpq/tests: Makefile.in gmp-3.1.1/mpz : Makefile.in gmp-3.1.1/mpz/tests: Makefile.in gmp-3.1.1/tests: Makefile.in gmp-3.1.1/tests/rand: Makefile.in gmp-3.1.1/tune : Makefile.in Log message: Reconfigured.

1 0

Polyhedra/ rc/Makefile.in rc/interface.cc rc/B ...
by Roberto Bagnara 22 Aug '01

22 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/22 10:18:37 Modified files: src : Makefile.in interface.cc src/BitSet : Makefile.in src/Integer : Makefile.in test : Makefile.in Log message: Updated.

1 0

Polyhedra/src interface.cc
by Roberto Bagnara 13 Aug '01

13 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/13 15:04:14 Modified files: src : interface.cc Log message: Updated.

1 0

Polyhedra/src Constraint.defs.hh Constraint.in ...
by Roberto Bagnara 06 Aug '01

06 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/06 16:19:55 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Generator.defs.hh Generator.inlines.hh LinExpr.defs.hh LinExpr.inlines.hh interface.cc Log message: Some progress.

1 0

Polyhedra/src Constraint.cc Makefile.am Makefi ...
by Roberto Bagnara 25 Jul '01

25 Jul '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/07/25 09:24:13 Modified files: src : Constraint.cc Makefile.am Makefile.in PPL.hh interface.cc Added files: src : LinExpr.cc LinExpr.defs.hh LinExpr.inlines.hh LinExpr.types.hh Variable.cc Variable.defs.hh Variable.inlines.hh Variable.types.hh Log message: Classes Variable and LinExpr properly implemented.

1 0

Polyhedra/ oc/devref.doxyconf-html.in oc/devre ...
by Roberto Bagnara 24 Jul '01

24 Jul '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/07/24 18:12:32 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-pdf.in devref.tex user.doxyconf-pdf.in user.tex src : ConSys.cc GenSys.cc Makefile.am Makefile.in conversion.cc interface.cc minimize.cc simplify.cc test : Makefile.am Makefile.in bug.cc bug2.cc bug3.cc bug4.cc bug5.cc bug6.cc bug7.cc bug8.cc bug9.cc buga.cc bugb.cc bugc.cc bugd.cc buge.cc bugf.cc testMinimize.cc Added files: src : PPL.cc PPL.hh Poly.cc Poly.defs.hh Poly.inlines.hh Poly.types.hh Removed files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.types.hh Log message: Polyhedron is now a reserved word for the interface. The implementation object is now called a "Poly" and is implemented in the Poly.* files. PPL.hh will be the file included by the user. PPL.cc will implement the interface.

1 0

Polyhedra/src Makefile.am Makefile.in interface.cc
by Roberto Bagnara 03 Jul '01

03 Jul '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/07/03 20:08:42 Modified files: src : Makefile.am Makefile.in interface.cc Log message: Playing with the new user interface.

1 0