June 2002 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Roberto Bagnara 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-24 12:23:11 Modified files: . : configure.ac Log message: Effectively disable the interface/Prolog/Ciao directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh Generato ...
by Enea Zaffanella 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-24 11:07:33 Modified files: src : ConSys.defs.hh GenSys.defs.hh Generator.defs.hh Log message: Added examples to ConSys and GenSys documentation using strict inequalities and closure points. Improved terminology note point/vertex in Generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/src Poly_Con_Relation.defs.hh
by Enea Zaffanella 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-24 11:05:45 Modified files: src : Poly_Con_Relation.defs.hh Log message: Missing full stop added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-24 08:48:46 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Distribute also ppl_swiprolog.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.inlines. ...
by Enea Zaffanella 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-24 00:22:42 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.cc Log message: Started uniformizing doxygen comments of class Polyehdron according to new rules. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src ConSys.inlines.hh GenSys.inlines.hh Li ...
by Enea Zaffanella 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-24 00:21:32 Modified files: src : ConSys.inlines.hh GenSys.inlines.hh LinExpression.inlines.hh Row.inlines.hh SatMatrix.inlines.hh SatRow.inlines.hh Log message: Relating std::swap functions to the corresponding classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv…

1 0

ppl/src Row.defs.hh
by Enea Zaffanella 23 Jun '02

23 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-23 22:23:25 Modified files: src : Row.defs.hh Log message: Surrounding the #define EXTRA_NORMALIZATION 0 with #ifndef EXTRA_NORMALIZATION. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/interfaces/Prolog Prolog_interface.dox ppl ...
by Roberto Bagnara 23 Jun '02

23 Jun '02

1 0

ppl/src GenSys.cc ConSys.defs.hh ConSys.cc Mat ...
by Enea Zaffanella 23 Jun '02

23 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-23 22:16:49 Modified files: src : GenSys.cc ConSys.defs.hh ConSys.cc Matrix.defs.hh Matrix.inlines.hh Matrix.cc Log message: Fixed doxygen comments in class Matrix. Changed raw output methods get() and print() to also read/write information about topology. Changed the corresponding methods of ConSys and GenSys so that they no longer output this information. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Constraint.cc Generator.cc
by Enea Zaffanella 23 Jun '02

23 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-23 18:33:20 Modified files: src : Constraint.cc Generator.cc Log message: Using flag EXTRA_NORMALIZATION instead of STRONG_NORMALIZATION. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0