September 2006 - PPL-devel - BUGSENG Mailman

ppl/src LP_Problem.defs.hh
by Enea Zaffanella 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-21 10:05:24 Modified files: src : LP_Problem.defs.hh Log message: Do not let the user assume that we solve the LP Problem by using a fixed algorithm (future releases may use a different one). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c…

3 2

ppl/src BD_Shape.inlines.hh BD_Shape.templates.hh
by Elena Mazzi 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-21 17:48:55 Modified files: src : BD_Shape.inlines.hh BD_Shape.templates.hh Log message: Moved some assertions 'assert(OK())' where they are really needed in the methods: - void BD_Shape<T>::affine_preimage(); - BD_Shape(const dimension_type num_dimensions, const Degenerate_Element kind). Patches: 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…

1 0

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

21 Sep '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-09-21 16:58:48 Modified files: htdocs/Documentation: ppl.bib Log message: Added GoldfarbR77. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

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

21 Sep '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-09-21 16:36:35 Modified files: htdocs/Documentation: ppl.bib Log message: Added PapadimitriouS98. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src BD_Shape.inlines.hh
by Elena Mazzi 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-09-21 16:34:41 Modified files: src : BD_Shape.inlines.hh Log message: Removed a useless assertion 'assert(OK())' from the method inline void BD_Shape<T>::add_dbm_constraint(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-09-21 16:05:56 Modified files: src : Octagonal_Shape.templates.hh Log message: Moved some assertions 'assert(OK())' where they are needed in the method void Octagonal_Shape<T>::affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src MIP_Problem.defs.hh MIP_Problem.templa ...
by Roberto Bagnara 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-21 15:35:48 Modified files: src : MIP_Problem.defs.hh MIP_Problem.templates.hh Log message: Class documentation revised. Added two new constructors: one takes a set of variables that are constrained to take an integer value; the other takes a shorthand concerning the integrality of all or no variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.templates.hh.…

1 0

ppl/src globals.types.hh
by Roberto Bagnara 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-21 15:34:46 Modified files: src : globals.types.hh Log message: New enumeration Variables_Integrality encodes assertions concerning the integrality of a set of variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh.diff?cvs…

1 0

ppl/src Octagonal_Shape.inlines.hh
by Barbara Quartieri 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-09-21 15:26:57 Modified files: src : Octagonal_Shape.inlines.hh Log message: Removed a useless assertion 'assert(OK())' from the method inline void Octagonal_Shape<T>::add_octagonal_constraint(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.h…

1 0

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-09-21 14:45:51 Modified files: src : Octagonal_Shape.templates.hh Log message: Removed a redundant assertion 'assert(OK())' from the method void Octagonal_Shape<T>::limited_BHMZ05_extrapolation_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0