- PPL-devel - BUGSENG Mailman

Polyhedra/src SatMatrix.cc conversion.cc minim ...
by Roberto Bagnara 10 Jun '01

10 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/10 23:32:51 Modified files: src : SatMatrix.cc conversion.cc minimize.cc simplify.cc Log message: More \fn fixes.

1 0

Polyhedra/src ConSys.cc GenSys.cc Matrix.cc Ma ...
by Roberto Bagnara 10 Jun '01

10 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/10 23:28:36 Modified files: src : ConSys.cc GenSys.cc Matrix.cc Matrix.inlines.hh Polyhedron.cc Polyhedron.inlines.hh Row.cc Log message: Several \fn Doxygen declarations fixed even though, IMO, many of them should simply be removed.

1 0

Polyhedra/src Matrix.defs.hh Row.cc Row.defs.h ...
by Roberto Bagnara 10 Jun '01

10 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/10 23:05:48 Modified files: src : Matrix.defs.hh Row.cc Row.defs.hh SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh Status.defs.hh Status.inlines.hh Log message: Reduce the number of friends. Put global functions in the PPL namespace.

1 0

w3ppl/ ocumentation/Documentation.raw ownload/ ...
by Roberto Bagnara 10 Jun '01

10 Jun '01

CVSROOT: /usr/local/cvsroot Module name: w3ppl Changes by: roberto(a)spartacus.cs.unipr.it 01/06/10 22:42:46 Modified files: Documentation : Documentation.raw Download : Download.raw Log message: Few adjustments.

1 0

Polyhedra/src Makefile.in Polyhedron.defs.hh R ...
by Roberto Bagnara 10 Jun '01

10 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/10 22:39:56 Modified files: src : Makefile.in Polyhedron.defs.hh Row.cc Row.defs.hh SatMatrix.inlines.hh SatRow.cc SatRow.defs.hh SatRow.inlines.hh Log message: Put SatRow into the PPL namespace.

1 0

Polyhedra/src GenSys.cc
by Sara Bonini 10 Jun '01

10 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: bonini(a)sandbox.cs.unipr.it 01/06/10 13:05:13 Modified files: src : GenSys.cc Log message: Improvement in generators_satisfy_constraint(...) : for(size_t i = 0; i < n_rows; ++i) substituted by for(size_t i = n_rows; i-- > 0;), added some comments and some FIXME (for little explanation).

1 0

w3ppl/MailingLists MailingLists.raw
by Roberto Bagnara 09 Jun '01

09 Jun '01

CVSROOT: /usr/local/cvsroot Module name: w3ppl Changes by: roberto(a)spartacus.cs.unipr.it 01/06/09 22:11:06 Modified files: MailingLists : MailingLists.raw Log message: Use https to access the mailing lists.

1 0

Polyhedra/src Makefile.am Status.types.hh
by Roberto Bagnara 09 Jun '01

09 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/09 21:46:53 Modified files: src : Makefile.am Added files: src : Status.types.hh Log message: Put Status into the PPL namespace.

1 0

Polyhedra/ rc/ConSys.cc rc/ConSys.defs.hh rc/C ...
by Roberto Bagnara 09 Jun '01

09 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/09 21:41:06 Modified files: src : ConSys.cc ConSys.defs.hh ConSys.inlines.hh ConSys.types.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh Constraint.types.hh GenSys.cc GenSys.defs.hh GenSys.inlines.hh GenSys.types.hh Generator.defs.hh Generator.inlines.hh Generator.types.hh Matrix.cc Matrix.defs.hh Matrix.inlines.hh Matrix.types.hh Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Row.cc Row.defs.hh Row.inlines.hh Row.types.hh SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh SatMatrix.types.hh SatRow.cc SatRow.types.hh Status.cc Status.defs.hh Status.inlines.hh conversion.cc minimize.cc simplify.cc watch.hh test : testConstraints.cc testGCD.cc testMatrix.cc testMinimize.cc testPolyhedron.cc testRow.cc testSatMatrix.cc testmerge.cc testrandom.cc timings.cc Log message: The transition to namespaces should be nearly complete.

1 0

Polyhedra/ rc/Polyhedron.cc rc/Polyhedron.defs ...
by Roberto Bagnara 09 Jun '01

09 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/09 18:08:44 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.types.hh conversion.cc minimize.cc simplify.cc 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 testPolyhedron.cc Log message: Started putting everything in the namespace Parma_Polyhedra_Library; short alias (to be used only in the .cc files): PPL.

1 0