September 2006 - PPL-devel - BUGSENG Mailman

ppl src/Ask_Tell.defs.hh src/Ask_Tell.template ...
by Roberto Bagnara 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-24 09:56:46 Modified files: src : Ask_Tell.defs.hh Ask_Tell.templates.hh Determinate.defs.hh Determinate.inlines.hh tests/Ask_Tell : append1.cc Log message: Ask_Tell::upper_bound_assign() now uses a basic deabsorption procedure. 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.templates.hh.dif… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Ask_Tell/append1.cc.dif…

1 0

ppl interfaces/Prolog/track_allocation.hh inte ...
by Roberto Bagnara 24 Sep '06

24 Sep '06

1 0

ppl/tests print.hh
by Roberto Bagnara 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-24 08:35:17 Modified files: tests : print.hh Log message: Added template <typename PH> void print_constraints(const Pointset_Ask_Tell<PH>&, const std::string&, std::ostream&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

ppl/tests FCAIBVP.defs.hh FCAIBVP.inlines.hh
by Roberto Bagnara 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-24 08:33:38 Modified files: tests : FCAIBVP.defs.hh FCAIBVP.inlines.hh Log message: Added methods void weakening_assign(const FCAIBVP&) and static bool has_nontrivial_weakening(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/FCAIBVP.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/FCAIBVP.inlines.hh.diff…

1 0

ppl/tests/Octagonal_Shape Makefile.am contains ...
by Enea Zaffanella 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-23 23:11:34 Modified files: tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: containsintegerpoint1.cc Log message: Added new test for Octagonal_Shape::contains_integer_points(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/contain… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Enea Zaffanella 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-23 23:10:27 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Log message: Added new method bool Octagonal_Shape::contains_integer_points() const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src MIP_Problem.inlines.hh
by Andrea Cimino 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-23 22:34:01 Modified files: src : MIP_Problem.inlines.hh Log message: Other little formatting changes. Removed an useless comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.di…

1 0

ppl/src MIP_Problem.cc MIP_Problem.inlines.hh
by Andrea Cimino 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-23 22:29:46 Modified files: src : MIP_Problem.cc MIP_Problem.inlines.hh Log message: Better handled MIP_Problem `status' to avoid useless computations. Minor stylistic changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.di…

1 0

ppl/doc definitions.dox
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 20:15:39 Modified files: doc : definitions.dox Log message: Spelling corrections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/htdocs/Documentation ppl.bib ppl_citatio ...
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 20:06:16 Modified files: htdocs/Documentation: ppl.bib ppl_citations.bib Log message: Spelling corrections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0