[PPL-devel] [GIT] ppl/ppl(floating_point): New commits

[Roberto Bagnara]

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6060bda39a0fb7b5d8d114d436b81a5a5b1eb74e
Author: François Galea <francois.galea at uvsq.fr>
Date:   Thu Mar 11 19:58:03 2010 +0100

    Documentation fixes. Added a paragraph about optimizing a linear cost function.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed91bdf10a46c8a1c886a2f05986e4d90db5f136
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 10 18:29:05 2010 +0100

    Improved checks in PIP_Decision_Node::OK() method.
    There is no reason to have Artificial_Parameter::OK() inlined.
    Added a couple of comments on code that should be normally unreachable.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61b4c1817137f7ffcf2d996e1aee6aea4f32d2bf
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 10 18:27:08 2010 +0100

    Fixed documentation reference.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=374f46632936ca58d8da878da73ac5f28f09a666
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 10 17:14:26 2010 +0100

    Fixed the value of INPUT doxygen configuration variable.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=65156364caa2da7235862998930736ca27c83236
Author: François Galea <francois.galea at uvsq.fr>
Date:   Tue Mar 9 20:28:29 2010 +0100

    Added two paragraphs about uses of the big parameter in the documentation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d43c54ada25c81f076dd0c353470ec9cbec1543
Author: François Galea <francois.galea at uvsq.fr>
Date:   Mon Mar 8 07:56:00 2010 +0100

    Documentation fixes.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114f0e38474584e74743f67fd1203487241b60e8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 9 13:36:12 2010 +0400

    Updated.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f06b3826db776f932cb42a63778ce272baf4c560
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 9 13:31:49 2010 +0400

    Missing files added.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2cacd9738634f10872d5e63f3fa9551d546a7e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 9 08:52:23 2010 +0400

    Restored line erased by mistake.