September 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 19 Sep '06

19 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-19 20:27:48 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Reverted previous change (it was only meant for XSB 3.0.1). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/tests/Octagonal_Shape
by Roberto Bagnara 19 Sep '06

19 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-19 19:43:59 ppl/tests/Octagonal_Shape Update of /cvs/ppl/ppl/tests/Octagonal_Shape In directory spartacus.cs.unipr.it:/tmp/cvs-serv10098/Octagonal_Shape Log Message: Directory /cvs/ppl/ppl/tests/Octagonal_Shape added to the repository

1 0

ppl ./NEWS ./instchk.hh doc/devref.doxyconf-ht ...
by Roberto Bagnara 19 Sep '06

19 Sep '06

1 0

ppl src/Polyhedra_Powerset.inlines.hh src/Poly ...
by Roberto Bagnara 19 Sep '06

19 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-19 17:32:47 Modified files: src : Polyhedra_Powerset.inlines.hh Polyhedra_Powerset.templates.hh Powerset.defs.hh Powerset.inlines.hh Powerset.templates.hh tests/Polyhedron: powerset1.cc Log message: Powerset implementation made more lazy. Fixed a couple of FIXMEs. Methods Powerset::add_non_bottom_disjunct() renamed add_non_bottom_disjunct_preserve_reduction(), since the true emphasis is on preserving reduction. This required the addition of two FIXMEs concerning the implementation of Polyhedra_Powerset, as it is not clear whether the preservation of reduction was an issue there. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.templa… 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?… 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/powerset1.cc…

1 0

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

19 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-19 11:51:05 Modified files: tests/Polyhedron: powerset1.cc Log message: Adhere to the our standards for test programs. Two more tests added. Added also a FIXME. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/powerset1.cc…

1 0

ppl/src BDS_Status.idefs.hh BD_Shape.defs.hh C ...
by Roberto Bagnara 19 Sep '06

19 Sep '06

1 0

ppl/src Powerset.defs.hh
by Roberto Bagnara 19 Sep '06

19 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-19 08:56:06 Modified files: src : Powerset.defs.hh Log message: Use vertical spacing to improve readability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvs…

1 0

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

19 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-19 08:55:06 Modified files: src : Ask_Tell.defs.hh Ask_Tell.inlines.hh Ask_Tell.templates.hh Log message: Started making normalization lazy. 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.templates.hh.dif…

1 0

ppl/src BDS_Status.idefs.hh BD_Shape.defs.hh C ...
by Roberto Bagnara 18 Sep '06

18 Sep '06

1 0

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 20:21:13 Modified files: src : Ask_Tell.defs.hh Ask_Tell.inlines.hh Ask_Tell.templates.hh Log message: The former engine() method is now called normalize(). New method bool is_normalized() const. 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.templates.hh.dif…

1 0