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

Roberto Bagnara bagnara at cs.unipr.it
Thu Jan 13 08:37:34 CET 2011


URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2941cea03d8a1994b9da0b90878fe0d568d5d0e1
Merge: dc027679371676490ea74a3356c5c5aa6e9b735f 0fd2de73dd626465d1c77d925eb63e2adb639648
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jan 13 08:37:26 2011 +0100

    Merge branch 'master' into floating_point

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fd2de73dd626465d1c77d925eb63e2adb639648
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Jan 8 17:23:18 2011 +0100

    Replaced a call to PPL_ASSERT by PPL_ASSERT_HEAVY.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c16cf1e891f14f71c5c1d935c9df0e145bdcce1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Jan 7 18:39:22 2011 +0100

    Cyclic dependency avoided.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d3d269f790746289a0e07a0260f808ad398814f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Jan 6 11:44:48 2011 +0100

    Fixed documentation copy-and-paste error.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27d130ce3196cfa2d254fc5a99b265eeb6b27f95
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jan 6 10:42:46 2011 +0100

    Replaced several occurrences of assert() by PPL_ASSERT().

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a0f1627560db5cd02eee73dadf85461f9c63d84
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jan 6 09:31:27 2011 +0100

    Added missing parameter documentation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87b7c0d322e1f0db6b73a03ee763d74120f4f023
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jan 6 08:57:57 2011 +0100

    Do not build documentation for interfaces that are not enabled.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ba95253a8b9deb705bcf535ce2edc0b58d6dc10
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Jan 5 17:02:18 2011 +0100

    Added missing `use_module' directive.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b86dc7a898cd584b93b0b409642e83d3abe55eee
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Dec 30 14:44:10 2010 +0100

    Dense_Row: simplify the exception safety implementation by using an implementation subobject.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a24129e95d80cee0487b36f96e50fd3ce1fa6984
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Dec 27 17:05:58 2010 +0100

    Dense_Row: improve exception safety in constructors.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff7564a57ae554269f7f4101f99d59eadc4b6028
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Mon Dec 27 09:20:53 2010 +0100

    Dense_Row: remove useless debugging code from the OK() method.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=242769b816b4723acf08fca18d8a3ad8059b5db8
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sun Dec 26 22:57:26 2010 +0100

    Dense_Row, Sparse_Row, Linear_Row: modify the flags' getter and setter methods, to follow strict aliasing rules.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c85e31fb4f456b5d5fe9ff060b955dda7b46e820
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Dec 25 10:50:44 2010 +0100

    Dense_Row, Sparse_Row: remove the construct() methods and add a constructor from Flags. Update client code.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecffa9a026c3f25847aab7ed89a0c1419f27f5cb
Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Sat Dec 25 10:46:23 2010 +0100

    Dense_Row: simplify the internal representation and implementation.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5c712fb857756c993ad2a0c29142f854a5815b6
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Dec 24 12:02:23 2010 +0100

    Avoid a couple of doxygen warnings.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bae9231e876e264a8d973ad22ef465f0a1829e02
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Dec 24 11:59:17 2010 +0100

    Memory leaks fixed.
    (Patch by Marco Poletti.)

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84600dacfb4b21d53d9d3e316338400e9ec02493
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Dec 20 09:13:43 2010 +0100

    Updated.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96604c0b36129ddc2ab6079a11c3babfb4dc69cd
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Dec 19 12:05:02 2010 +0100

    Added a workaround to a space efficiency bug affecting MIP_Problem.
    The baseline patch has been contributed by Marco Poletti.
    
    MIP_Problem now stores the input constraints as a sequence of Constraint*.
    In this sequence, we distinguish between owned constraints (whose resources
    are under control of the current MIP_Problem object) and inherited constraints
    (whose resources are shared with, and owned by, another MIP_Problem object).
    When starting a branch-and-bound computation looking for an integral
    feasible/optimal solution, we now inherit (rather than copy) the input
    constraints.
    
    The workaround greatly improves space/time efficiency on (mixed) integral
    problems, also providing a (simple and reasonable) partial solution to
    
        https://www.cs.unipr.it/mantis/view.php?id=62
    
    The solution is still partial: a complete solution requires the implementation
    of a backtracking mechanism for incrementally added constraints.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7c689f3a1f81f121aee717323f1d86b415209c4
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Dec 19 10:53:04 2010 +0100

    Obsolete comment removed.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b952f1fa47bca4f7715ad196c8fa470cb4da1fa3
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Dec 19 10:49:37 2010 +0100

    No longer include BD_Shape<int8_t> among the instantiations enabled by default.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a25a1ecae28222bb8ee84fc6d4d5d1219ad34f
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Sun Dec 19 10:08:48 2010 +0100

    Replaced $(cmd) with `cmd` in m4 autoconf files.

URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533d88da39b83836bd2b4bf4ec69a6f0c9143f0c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Dec 11 18:27:07 2010 +0100

    Avoid using identifier PS, since Solaris has a macro with that name.




More information about the PPL-devel mailing list