April 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus ppl_sicstus_sd.cc
by Patricia Hill 08 Apr '03

08 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-08 13:11:26 Modified files: interfaces/Prolog/SICStus: ppl_sicstus_sd.cc Log message: Added missing definitions for ppl_Polyhedron_limited_H79_extrapolation_assign_with_token and ppl_Polyhedron_bounded_H79_extrapolation_assign_with_token. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 08 Apr '03

08 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-08 13:08:52 Removed files: src : Polyhedron.cc Log message: Implementation file Polyhedron.cc has been split in 4 chunks: - Polyhedron_widenings.cc contains the definitions of (non-inline) functions related to widening and extrapolation operators; - Polyhedron_chdims.cc contains the definitions of (non-inline) functions that change the space dimensions; - Polyhedron_public.cc contains the definitions of all the other public (non-inline) functions - Polyhedron_nonpublic.cc contains the definitions of all the other non-public (i.e., private or protected) (non-inline) functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron_chdims.cc Polyhedron_nonpub ...
by Enea Zaffanella 08 Apr '03

08 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-08 13:02:55 Modified files: src : Polyhedron_chdims.cc Polyhedron_nonpublic.cc Row.defs.hh statistics.hh Log message: Added Doxygen documentation for a few #define's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/statistics.hh.diff?cvsroo…

1 0

ppl/interfaces/Prolog pl_check.pl Ciao/ppl_ciao.pl
by Patricia Hill 08 Apr '03

08 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-08 10:04:12 Modified files: interfaces/Prolog: pl_check.pl interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Added code and test to allow for Prolog failure in the ppl_Polyhedron_generalized_affine_image_lhs_rhs/4 predicate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 08 Apr '03

08 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-08 09:39:23 Modified files: interfaces/Prolog: pl_check.pl Log message: Added tests for Prolog failure for the "with_token" predicates. Some reorganisation of the widening/extrapolation tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Patricia Hill 08 Apr '03

08 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-08 09:26:11 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Modified the "with_token" predicates to allow for Prolog failure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Enea Zaffanella 08 Apr '03

08 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-08 08:12:18 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: Added \relates command for functions working on class template PowerSet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src Row.defs.hh
by Enea Zaffanella 08 Apr '03

08 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-08 08:10:47 Modified files: src : Row.defs.hh Log message: Improved the detailed Doxygen description of class Row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src Determinate.defs.hh Determinate.inlines.hh
by Enea Zaffanella 08 Apr '03

08 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-08 08:09:38 Modified files: src : Determinate.defs.hh Determinate.inlines.hh Log message: Added a few \relates commands, which however show a bug in the handling of template specializations by Doxygen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di…

1 0

ppl/src LinExpression.cc
by Enea Zaffanella 08 Apr '03

08 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-04-08 08:08:12 Modified files: src : LinExpression.cc Log message: Added missing \relates Doxygen commands. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvs…

1 0