September 2006 - PPL-devel - BUGSENG Mailman

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-24 17:58:30 Modified files: src : Octagonal_Shape.templates.hh Log message: Use is_additive_inverse() to improve readability in several places. Used is_even() in tight_coherence_would_make_empty(). Corrected bug in the output operator whereby the output of an octagon having integer coefficients could have been innacurate (but correct). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src MIP_Problem.cc MIP_Problem.defs.hh
by Andrea Cimino 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-24 17:56:53 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh Log message: void set_integer_space_dimensions(const Variables_Set& i_vars) defined and implemented. 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.defs.hh.diff?…

1 0

ppl/src BD_Shape.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 17:54:52 Modified files: src : BD_Shape.inlines.hh Log message: Fixed is_even() and is_additive_inverse() (ROUND_IGNORE evaluates the returned Result info lazily, that is, it will happily return V_LGE ---a.k.a. "don't know"--- if returning something more precise costs one extra clock cycle). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Makefile.am Any_Pointset.defs.hh Any_P ...
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 17:49:41 Modified files: src : Makefile.am Added files: src : Any_Pointset.defs.hh Any_Pointset.inlines.hh Any_Pointset.types.hh Log message: Started writing the new Any_Pointset class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.inlines.hh?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.types.hh?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl TODO
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 17:48:34 Modified files: . : TODO Log message: Added one item. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.19…

1 0

ppl/src max_space_dimension.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 17:44:57 Modified files: src : max_space_dimension.hh Log message: Fixed Parma_Polyhedra_Library::max_space_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/max_space_dimension.hh.di…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh B ...
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 17:13:46 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Log message: Added declarations and placeholder implementations of methods total_memory_in_bytes() and external_memory_in_bytes(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… 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.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-24 16:56:46 Modified files: src : BD_Shape.templates.hh Log message: Exploited new utility function is_additive_inverse() to improve readability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-24 16:55:03 Modified files: src : BD_Shape.inlines.hh Log message: Added utility functions bool is_even(m) and bool is_additive_inverse(m, n) to namespace Implementation::BD_Shapes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Grid_widenings.cc
by Patricia Hill 24 Sep '06

24 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-09-24 14:45:42 Modified files: src : Grid_widenings.cc Log message: Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cv…

1 0