- PPL-devel - BUGSENG Mailman

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

30 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/30 20:02:10 Modified files: gmp-3.1.1 : ansi2knr.c configure.in mkinstalldirs gmp-3.1.1/tests/rand: findlc.c Log message: Restore the original version of those GMP files.

1 0

Polyhedra/ oc/Makefile.in mp-3.1.1/ansi2knr.c ...
by Roberto Bagnara 30 Aug '01

30 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/30 19:56:58 Modified files: doc : Makefile.in gmp-3.1.1 : ansi2knr.c configure.in mkinstalldirs gmp-3.1.1/tests/rand: findlc.c src : Makefile.in src/BitSet : Makefile.in src/Integer : Makefile.in test : Makefile.in Log message: Upgraded to automake 1.5: this solved a couple of problems I was quite fed up with.

1 0

Polyhedra/src Matrix.cc
by Roberto Bagnara 30 Aug '01

30 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/30 19:55:00 Modified files: src : Matrix.cc Log message: Scope of a couple of declarations reduced.

1 0

Polyhedra/src/Integer Integer.defs.hh Integer. ...
by Roberto Bagnara 29 Aug '01

29 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/29 18:31:04 Modified files: src/Integer : Integer.defs.hh Integer.inlines.hh Log message: Specialize std::swap().

1 0

Polyhedra/src/BitSet BitSet.cc BitSet.defs.hh ...
by Roberto Bagnara 29 Aug '01

29 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/29 18:30:19 Modified files: src/BitSet : BitSet.cc BitSet.defs.hh BitSet.inlines.hh Makefile.am Log message: China synch.

1 0

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

29 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/29 18:16:04 Modified files: src : ConSys.defs.hh Constraint.cc Constraint.defs.hh GenSys.defs.hh Matrix.defs.hh interface.cc Removed files: src : restricted_iterator.hh Log message: ConSys::const_iterator and GenSys::const_iterator finished and simplified.

1 0

Polyhedra/src ConSys.defs.hh Matrix.defs.hh
by Roberto Bagnara 29 Aug '01

29 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/29 09:37:43 Modified files: src : ConSys.defs.hh Matrix.defs.hh Log message: Whops... glitch fixed.

1 0

Polyhedra/src ConSys.defs.hh GenSys.defs.hh Ma ...
by Roberto Bagnara 28 Aug '01

28 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/28 20:02:42 Modified files: src : ConSys.defs.hh GenSys.defs.hh Matrix.defs.hh interface.cc Added files: src : restricted_iterator.hh Log message: Progress on providing a decent interface to ConSys and GenSys.

1 0

Polyhedra/src Matrix.defs.hh
by Roberto Bagnara 28 Aug '01

28 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/28 15:33:10 Modified files: src : Matrix.defs.hh Log message: Now Matrix defines iterator, const_iterator, reverse_iterator, and const_reverse_iterator.

1 0

Polyhedra/test Makefile.am Makefile.in
by Roberto Bagnara 28 Aug '01

28 Aug '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/08/28 15:30:57 Modified files: test : Makefile.am Makefile.in Log message: Build testPolyhedron.

1 0