[PPL-devel] [GIT] ppl/ppl(floating_point): New commits
Roberto Bagnara
bagnara at cs.unipr.it
Mon Feb 22 10:04:09 CET 2010
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=089e2db3d5f73dc3ad5c1545dd777671ac583f58
Merge: 99eaa536d87db8c8a5b34ab451196d11a57aa6a1 537a4928e00e2b811822089da4cf12a1dd4344cf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 22 10:03:52 2010 +0100
Merge branch 'master' into floating_point
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=537a4928e00e2b811822089da4cf12a1dd4344cf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 22 09:16:36 2010 +0100
Fixed oversight in error-handling code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b73c49a9febf62e96f8ee03460e789c8164ee9a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 22 09:16:06 2010 +0100
Avoid printing unless noisy or very-noisy mode was requested.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e52d48a8ab59a5036becb3413b8f63c2d2bd1e83
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 21 18:07:01 2010 +0100
Be more informative in case something goes wrong.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bbfa4bc9da9558d0b538c95c00607b2928bb9d1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 21 18:05:49 2010 +0100
Use the C++ compiler to perform the tests meant for C++.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b0ba93300fb829608d40e766b9f3f95c81962e1
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 21 12:49:16 2010 +0100
sigaction() is also needed, in addition to setitimer() in order to support Watchdog objects.
We could check if signal() is available if there is request for such a feature.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fa465112d1f5519310f47de08494b765c420b8f
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun Feb 21 11:16:27 2010 +0100
If setitimer() is not available, no initialization is necessary.
This also works around a linking bug in Mingw.
C tests improved with error-handling code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e638dd4922abc7948b004e04fbbf2a81520e2a8
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 14:38:26 2010 +0100
Improved code coverage.
Removed useless (and not accessible by user) Tableau::total_memory_in_bytes().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13a2650b7180d9f372a061c2f34c4b92f2cf0059
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 13:04:13 2010 +0100
Invalidate current solution at the start of PIP_Solution_Node::solve().
This fixes the bug in pipproblem3 test03.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=511e9e86f96884b311d7b053aac33afb977129bb
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 12:52:19 2010 +0100
Adding no space dims should not invalidate previously computed solution.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28dc8bb7f4c03855c8581516b3948650bea22e3b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 12:30:19 2010 +0100
Got rid of non-const PIP_Tree_Node as_decision() and as_solution() methods.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=77df3ea039c2673fa1e94d79edaf6c81d1923cad
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 11:17:25 2010 +0100
Achieve full code coverage for the output operator.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e890db63f60fa120d9fc6ba046b5ffa24072ae67
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 10:05:36 2010 +0100
Document and test exception thrown by PIP_Problem::print_solution().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fce6b4f6fe1ec900db28bbceada267707d48c1c7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 09:46:35 2010 +0100
Test 09 overflows when using 8-bit coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fc67ca6012164360c1c0301f29f46d979157cbe
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 09:40:15 2010 +0100
A couple of tests marked as known to fail.
These shows a bug in the solver, which fails to detect an unfeasible
initial context.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=12d4e15ef5bea675156c7b8068655f73597d6c1f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 08:52:24 2010 +0100
Put under git control.
These test exercise the incremental PIP solver (still buggy).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=084cb1f825471435bd1e1b0bb1eb0ed8eabd368d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Sat Feb 20 08:50:53 2010 +0100
Check fir and avoid space dimension mismatches in merge_assign().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb3ce1f0be968a3a73804e7f63837e0d10aee96
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 19 22:32:24 2010 +0100
Started working on incrementality.
Dealt with a FIXME in PIP_Solution_Node::update_tableau(): when adding
new problem variables and parameters, the columns of the existing
artificial parameters are moved to the right of the tableau.t matrix.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e191bf79e2f4228ba5e1f3ace0ad1cfae3ba1674
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Fri Feb 19 22:31:37 2010 +0100
Little code coverage improvement.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1cec252d369a5d53a8cd53fadd0c01adbace9d60
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 23:45:41 2010 +0100
Prefer denominator() to get_denominator().
In pipproblem1 test02(), add a lenghty check of the expected solution.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0bd48ed51aee3986fe5c9dc43a903f07bea3be7
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 22:15:57 2010 +0100
Simplified C interface to Artificial_Parameter.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d994c6364d6dcb3114e2236aeb9da689c8e63742
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 21:54:53 2010 +0100
Removed two PIP_Problem enum values that need not be interfaced.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d274e1f6b47b8a76e0499984669d2f8ea150e36f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 21:49:54 2010 +0100
Avoid parameter name hiding; mark unreachable code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=215cc5a900c2e8bd49b1477ccc220eb09b6b59cf
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Feb 18 20:22:54 2010 +0000
Added some missing C interface methods and enum values for the new PIP classes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e480f958e85f6d0c50b57835aaaa8f4ba9026ab
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 16:07:39 2010 +0100
Corrected bug in th ehandling of trivially satisfiable PIP problems.
Test 16 in pipproblem1.cc (currently disabled) shows a bug in the handling
of trivially unfeasible PIP problems.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee564d807b24ca244ac691498a4bb684b12898b4
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Thu Feb 18 15:01:45 2010 +0100
Dealt with a FIXME in PIP_Solution_Node::solve().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d53ceac4d79dfb1d6ba9407c48154071481ad52
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Thu Feb 18 13:43:28 2010 +0000
Added total_memory_in_bytes() and external_memory_in_bytes()
to MIP_Problem and PIP_Problem in the C interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84cdf71053ad8257bca1e8bd90bd2d22c145e75d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Feb 18 11:23:44 2010 +0100
Described the input formats.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6a791128aef1103c7d610e37321a3e48736deac
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Thu Feb 18 11:21:42 2010 +0100
Cosmetic improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe233fcf5db9fbbe169a445c8a09d781026e2053
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 22:30:09 2010 +0100
Updated expected results.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85e96f4e8a3c4577453d9e181c86c81ba77cef6
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 22:14:57 2010 +0100
Test with all the examples.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d97532ec7447dd4e4bfe042eae9e4c6a08f9f35a
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 22:06:42 2010 +0100
Added examples from PipLib 1.4.0.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e6df802e280f0c1df33b864037544c02757d08e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 17:41:50 2010 +0100
Typo fixed: we require SICStus at least version 3.9.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b492ed70728e112aaafabe79d1e91cd40fc383eb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 15:39:01 2010 +0100
Test program renamed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d8d4194c8e1e85641fb5dfe10ec14346c48862d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 15:37:50 2010 +0100
Cosmetic changes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7734015823e50eae1063582a30c6f9570669a8d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Feb 17 14:50:11 2010 +0100
Drafted implementation for PIP_Problem's operator<<.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64a04677743ef5fd4602007e72680ad172c03072
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Feb 17 13:13:57 2010 +0100
Tests adapted to use the new method for printing a PIP problem solution.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7da6c43b438cf0948998e17eb6e8077fb39a7b1d
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Feb 17 12:47:08 2010 +0100
Added method PIP_Problem::print_solution().
The new method exploits added virtual method PIP_Tree_Node::print_tree().
Implementation is based on code from the many display_solution() helper
functions that are currently spread in the tests.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=777f298702f1005f6c4f026fb7a4663bb8dadd0e
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 12:33:34 2010 +0100
Cater for systems where setitimer() is not provided (part 4).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eab6ab2fd4e44c8e7348c26112e4c9e4190e88ee
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 12:22:12 2010 +0100
Cater for systems where setitimer() is not provided (part 3).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ac2c64c2e9fa2da2d02428fe51c34b8dca3d6ff
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 12:15:35 2010 +0100
Cater for systems where setitimer() is not provided (part 2).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bdd6617be52573d3252687844d32001e671a126
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 11:56:08 2010 +0100
Cater for systems where setitimer() is not provided (part 1).
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0cd7dc9899fc7dac2580a97da69e6282bfc0576
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 11:55:16 2010 +0100
Build the PWL unless not explicitly disabled at configuration time.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c3188f08c10a1914cd545f35ba10a6ee464c3b9
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 17 10:16:43 2010 +0100
Variable shadowing avoided. Scope of variables reduced. One FIXME added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f9532b48874bdd02cac2f88fe241629bfd0e04
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Wed Feb 17 10:06:30 2010 +0100
Tests 2, 5, 7, 8, 9 and 10 do not overflow on 16 bit coefficients.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3339d25083d4cdac4a565d5aea95cf70772cc4f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 23:15:46 2010 +0100
Solved other instances of test02, but using different cutting strategies.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53e86bccd511369b2fa500d60b355ebee824fc2b
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 22:40:01 2010 +0100
Fixed bug introduced when improving coding style in PIP_Solution_Node::solve.
Corrected wrong assertion in PIP_Solution_Node::generate_cut.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=214df020741ef3cbffb31971e99086f0fbc88d94
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 21:43:32 2010 +0100
Important item added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9391a5768d5e90217d3b6c58ab0dd0496287afaf
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 21:39:51 2010 +0100
Unwanted inclusion removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ba82c5fb51ff9f63818fa8c6f006a1900a70894
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 21:35:54 2010 +0100
Use the right preprocessor conditionals for PPL_HAVE_DECL_SIGACTION.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c5b321e17513b2492e821619ddae38c1ff0115d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 21:35:26 2010 +0100
Warnings avoided.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bad1f4e90af2d1368fee383f08c59316182de8dc
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 20:38:32 2010 +0100
Corrected several problems.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9857bc5b9ae3a4e4af7fe024d4ed9657103a845c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 20:06:43 2010 +0100
Enable test12.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac846ef3f2f47c8c6f6474331857211b318ad24f
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 20:05:36 2010 +0100
A few improvements to PIP_Problem documentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1789a22b13784e38555109169a7216d9c05cd4d8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 15:35:38 2010 +0100
Make the test trivially succeed when coefficients are not large enough.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c257cba9d19ca2084198e422ddcf0fa5f1afc8e8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 14:41:52 2010 +0100
Improved error handling. Cosmetic improvements.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b89a40da063ca44e5e28e0fad8a1001361cc131c
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 14:38:15 2010 +0100
Added unit tests for inner class PIP_Tree_Node::Artificial_Parameter.
Added operator!=() and swap() methods: the last was necessary as we were
inheriting it from Linear_Expression.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ddd5a9f223cf20b900479c09cce42685e562b51
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 12:00:43 2010 +0100
Added another test for code coverage purposes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=632f4386677025eb9f52416657dd161f11601737
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 09:58:05 2010 +0100
Got rid of unused Boolean flag PIP_Problem::initialized.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4baadf1d80433f10a8f135d7c7144b129a568963
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 10:14:45 2010 +0100
Avoid non-ASCII characters.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09c7bbce5f53c19b862eca27a83bc808094aae80
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 10:10:57 2010 +0100
Trailing whitespace removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0804e05ac141086060a43d28da66095956c14752
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue Feb 16 10:10:30 2010 +0100
Install also ppl_pips.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22208e21cd868063a06824d0636b158670802b34
Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date: Tue Feb 16 09:51:24 2010 +0100
Added a couple of tests to improve code coverage.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de1f6f6e47ec4d79e304b8b4f77e9b3b0a95065d
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 22:15:44 2010 +0100
Put under Git control.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25e8b89f3fb0abbfc24dd13aae3704ffa4a71c2b
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 22:15:17 2010 +0100
Avoid non-ASCII characters.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b57e8b768d88e2a19af28c3a2bf206cc72117072
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 22:14:04 2010 +0100
Added a draft man page for `ppl_pips'. Other man pages updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dff9d4152afeb894bd58aaf2a5442af20bf8be50
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 20:28:49 2010 +0100
Missing backslash added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=030ba2b2b3c551ec080edb8b1d7e8bb6d095cf03
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 18:32:16 2010 +0100
Added missing expected results.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d5b20eeba492c227efeaa43d804a8500ea87a13
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 16:07:42 2010 +0100
Improved the NDEBUG machinery.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cf1cef85fea249bb4dd279f3025ebc24acd87b8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 14:57:57 2010 +0100
Mark expected overflows.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ba6445b1c5adb835e27d2f005779d4343721d21
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 14:50:19 2010 +0100
Improve portability to systems that do not (fully) support Posix signal handling.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8eecefb16080abbc755fafb6a5ab7ff4b426fddb
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Mon Feb 15 11:35:55 2010 +0100
Version number bumped.
More information about the PPL-devel
mailing list