URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f7260b5f0926... Merge: c606710cfe67adb748857cfb840d20a2feb3a3b8 6c8a266be0f01266599542b7cdc3d3c2a47e62d2 Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu May 14 12:36:18 2009 +0200 Merge branch 'bounded_arithmetic' URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c8a266be0f01... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Thu May 14 09:41:30 2009 +0200 Silenced bogus comparison warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9724ada507cd9... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Thu May 14 10:11:31 2009 +0200 Added missing policy. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f922aa0fa1526... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Thu May 14 08:45:36 2009 +0200 Added missing Result values. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d905acbbe0a9... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Thu May 14 08:28:05 2009 +0200 Fixed some typos. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e33e130ebcb92... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu May 14 08:30:18 2009 +0200 New policy Debug_WRD_Extended_Number_Policy. This is the debugging policy for checked numbers used in weakly-relational domains. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c4cee6feb0a9... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu May 14 08:12:12 2009 +0200 WRD_Extended_Number_Policy properly commented. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ffc6689ea022e... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu May 14 07:10:26 2009 +0200 Marked tests that are expected to fail with 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f9892fcb2fce... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Wed May 13 23:42:29 2009 +0200 Added wrap_assign. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b55ca03354c3c... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Wed May 13 23:41:38 2009 +0200 Added add_2exp and sub_2exp. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37f8d8b4162aa... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Wed May 13 23:33:01 2009 +0200 Added missing info clearing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0edbd37a47bb2... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed May 13 22:17:32 2009 +0200 Coefficient types of weakly-relational domains moved to new source files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2d6c28172e4... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed May 13 21:29:11 2009 +0200 Comment fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bfc05d94ff20f... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed May 13 20:29:09 2009 +0200 Got rid of Checked_Number_Default_Policy. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76c766e5f4da6... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed May 13 20:28:36 2009 +0200 Bounded_Integer_Coefficient_Policy::handle_result() commented. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ea0b6f8a8ee1... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed May 13 20:20:28 2009 +0200 Also check for NaN in Bounded_Integer_Coefficient_Policy::handle_result(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee98075c306f... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed May 13 20:13:31 2009 +0200 Checked number policy parameter `check_nan_result' renamed `fpu_check_nan_result'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cb27e7158a1d... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Wed May 13 20:05:05 2009 +0200 Fixed return type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb89cfe6722ad... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed May 13 20:01:01 2009 +0200 Use Bounded_Integer_Coefficient_Policy as the policy for checked coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8f95c123cd38... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed May 13 20:00:32 2009 +0200 Added Bounded_Integer_Coefficient_Policy. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=986d109920532... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed May 13 19:59:13 2009 +0200 Checked_Number_Transparent_Policy properly commented. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbcb69446ece2... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Wed May 13 11:39:15 2009 +0200 Fixed topological closure for unbounded intervals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c816f458ca9f... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Wed May 13 11:48:59 2009 +0200 Reorganized and separated Result classes to be more informative. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca38275a5e162... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Tue May 12 17:30:01 2009 +0200 Added smod_2exp and umod_2exp for boundary. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80ba9754deb09... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Sun May 10 19:30:17 2009 +0200 Added umod_2exp and smod_2exp to checked numbers. Fixed rem for mpq to work similarly to other numeric types. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98fb9c3061d18... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat May 9 14:22:25 2009 +0200 Drafted specialized implementation for Box<ITV>::wrap_assign. Code still commented out as it relies on a missing Interval method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=306db9d46d071... Merge: 7309a3a239bc75074827c6c61bd0df2b278088df 317f48d0d55391b07624e0f55a6228e3b2d39d6f Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue May 5 19:22:47 2009 +0200 Merge branch 'master' into bounded_arithmetic URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7309a3a239bc7... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Tue May 5 13:59:21 2009 +0200 Fixed typo on assertion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=962d7b0a74ec0... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Tue May 5 10:47:36 2009 +0200 Added Circular Integer intervals.