September 2006 - PPL-devel - BUGSENG Mailman

ppl/src Ask_Tell.defs.hh Ask_Tell.inlines.hh A ...
by Roberto Bagnara 18 Sep '06

18 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-18 18:38:43 Modified files: src : Ask_Tell.defs.hh Ask_Tell.inlines.hh Added files: src : Ask_Tell.templates.hh Log message: Halfway through the rewriting of the Ask_Tell template class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.templates.hh?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.inlines.hh.diff?…

1 0

ppl src/Powerset.templates.hh tests/Polyhedron ...
by Roberto Bagnara 18 Sep '06

18 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-18 15:59:21 Modified files: src : Powerset.templates.hh tests/Polyhedron: append2.cc Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/append2.cc.d…

1 0

ppl/interfaces/Prolog XSB/expected_pchk_int8 t ...
by Roberto Bagnara 17 Sep '06

17 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-17 17:50:09 Modified files: interfaces/Prolog/XSB: expected_pchk_int8 interfaces/Prolog/tests: expected_pchk_int8 Log message: Updated to reflect the new implementations of simplex. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/tests/Polyhedron powerset1.cc
by Roberto Bagnara 17 Sep '06

17 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-17 12:01:29 Modified files: tests/Polyhedron: powerset1.cc Log message: Fixed the implementations of Fcaibvp::upper_bound_assign(const Fcaibvp&) and Fcaibvp::meet_assign(const Fcaibvp&) (they were swapped). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc…

1 0

ppl/tests/Polyhedron powerset1.cc
by Roberto Bagnara 17 Sep '06

17 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-17 11:32:38 Modified files: tests/Polyhedron: powerset1.cc Log message: Fixed a bug in operator<<(std::ostream&, const Fcaibvp&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc…

1 0

ppl/src Ask_Tell.defs.hh Ask_Tell.inlines.hh A ...
by Roberto Bagnara 16 Sep '06

16 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-16 22:39:18 Modified files: src : Ask_Tell.defs.hh Ask_Tell.inlines.hh Ask_Tell.types.hh Log message: Complete rewriting of the Ask_Tell template class started. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.types.hh.diff?cv…

1 0

w3ppl/htdocs/Bugs archive.raw
by Enea Zaffanella 16 Sep '06

16 Sep '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-16 08:56:33 Modified files: htdocs/Bugs : archive.raw Log message: Do not forget to mention the bugs in version 0.8 (fixed before releasing version 0.9) in the bugs' archive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

ppl/src Grid_Generator.cc
by Enea Zaffanella 15 Sep '06

15 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-15 16:02:34 Modified files: src : Grid_Generator.cc Log message: Backtracking previous change as far as Grid_Generator is concerned. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cv…

1 0

ppl TODO
by Roberto Bagnara 15 Sep '06

15 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-15 15:53:45 Modified files: . : TODO Log message: Remember to advertise the failure of GCC 3.4.x to compile the PPL correctly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.19…

1 0

ppl/src Congruence.cc Constraint.cc Generator. ...
by Enea Zaffanella 15 Sep '06

15 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-15 15:42:53 Modified files: src : Congruence.cc Constraint.cc Generator.cc Grid_Generator.cc Log message: Added some missing sanity checks to a few OK() methods: - Constraint::OK() and Generator::OK() no also check that the corresponding object is a valid Linear_Row; - Congruence::OK() checks that the object is a valid Row; - Grid_Generator::OK() check that the object is a valid Generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cv…

1 0