March 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.outlines.hh
by Patricia Hill 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-12 18:57:50 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: ppl_add_generators_and_minimize added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-12 17:50:57 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Restored comment for ppl_copy_polyhedron, small change to notation and added draft documentation for three predicates that were missing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh
by Patricia Hill 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-12 17:06:28 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh Log message: Code for ppl_limited_widening_assign, ppl_relation_with_constraint and ppl_relation_with_generator added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl NEWS
by Enea Zaffanella 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-12 15:18:51 Modified files: . : NEWS Log message: Added a note on the change of terminology vertex/point. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.17…

1 0

ppl/interfaces/Prolog ppl_prolog.outlines.hh C ...
by Enea Zaffanella 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-12 15:13:06 Modified files: interfaces/Prolog: ppl_prolog.outlines.hh interfaces/Prolog/Ciao: ppl_ciao.cc Log message: Using "point" instead of "vertex". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/tests addconstraints9.cc adddimensions1.cc ...
by Enea Zaffanella 12 Mar '02

12 Mar '02

1 0

ppl/src ConSys.cc Constraint.defs.hh Constrain ...
by Enea Zaffanella 12 Mar '02

12 Mar '02

1 0

ppl/src minimize.cc
by Elisa Ricci 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: ericci(a)cs.unipr.it 2002-03-12 15:02:35 Modified files: src : minimize.cc Log message: Some changes in the part controlled by the flag " POS_SIMPLEX_TRICK". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-03-12 14:38:41 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Description of some of the Prolog predicates improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 12 Mar '02

12 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-12 13:53:59 Modified files: src : Polyhedron.cc Log message: Do not use the amsmath's \text{} macro in contexts like $a_\text{var}$. Use $a_\mathrm{var}$ instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0