February 2002 - PPL-devel - BUGSENG Mailman

ppl/src conversion.cc
by Roberto Bagnara 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-25 09:22:33 Modified files: src : conversion.cc Log message: Two kludges (with FIXME) to continue supporting GCC 2.96. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-25 08:40:15 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Minor typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-25 08:36:26 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Add CIAO Prolog to the list of (to be) supported systems and sort the list of prologs alphabetically. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src Constraint.defs.hh Generator.defs.hh
by Enea Zaffanella 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-25 01:00:03 Modified files: src : Constraint.defs.hh Generator.defs.hh Log message: Added examples on the use of methods coefficient(v), coefficient() and divisor(), as well as (en passant) the method Generator::type(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/src Row.defs.hh
by Enea Zaffanella 25 Feb '02

25 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-25 00:56:16 Modified files: src : Row.defs.hh Log message: Added comments to methods first(), last(), next(...) and prev(...). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/tests addconstraints2.cc includes1.cc sati ...
by Roberto Bagnara 24 Feb '02

24 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-02-24 22:14:32 Modified files: tests : addconstraints2.cc includes1.cc satisfies1.cc Log message: Do not use private methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints2.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/includes1.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies1.cc.diff?cvsr…

1 0

ppl/src Makefile.am Row.cc conversion.cc globa ...
by Roberto Bagnara 24 Feb '02

24 Feb '02

1 0

ppl/src SatRow.inlines.hh
by Enea Zaffanella 24 Feb '02

24 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:31:41 Modified files: src : SatRow.inlines.hh Log message: Spurious space in comment removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv…

1 0

ppl/src Generator.cc
by Enea Zaffanella 24 Feb '02

24 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:30:29 Modified files: src : Generator.cc Log message: Using function all_homogeneous_terms_are_zero() when building a ray or line to check their validity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/src Generator.inlines.hh
by Enea Zaffanella 24 Feb '02

24 Feb '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-02-24 19:28:41 Modified files: src : Generator.inlines.hh Log message: Throwing an exception if Generator::coefficient(v) is called with a variable beyond the space-dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff…

1 0