- PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 24 Jun '02

24 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-24 12:51:08 Modified files: interfaces/Prolog: pl_check.pl Log message: Improved layout and comments. Simplified and renamed some tests while adding others. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/C/lpenum lpenum.c
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:25:14 Modified files: interfaces/C/lpenum: lpenum.c Log message: Added the test for unboundedness. Progress in cleaning and completing this program. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/Watchdog 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:53 Modified files: Watchdog : configure.ac Log message: Fixed typo in a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/configure.ac.diff?cv…

1 0

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