URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cfd68c04c051... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 12:43:48 2009 +0200 Simplified a rounded assignment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b4760ed21146... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 12:30:24 2009 +0200 Permits to low level code to take benefits from knowing that result will be exact. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68daf755d6f76... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 11:32:00 2009 +0200 Test fails with an overflow using 8 bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96e74efed2e28... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 10:28:35 2009 +0200 Enable DEBUG_ROUND_NOT_NEEDED when assertions are enabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c0a202b6d04b... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 10:29:49 2009 +0200 Two tests fail with an overflow using 8 bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d9773ebdcd98... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 10:09:52 2009 +0200 Improved comment for ROUND_NOT_NEEDED. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a28345ddb5a92... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 09:47:21 2009 +0200 Fixed DEBUG_ROUND_NOT_NEEDED.