URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49a4bf80ee996... Merge: 7d94d1213ad812f7d2a1cec93763247bdab22d34 badd595a0c22e91f4f1653ff8c7d53a3bf15ec50 Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon May 18 13:47:31 2009 +0200 Merge branch 'master' into products URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=badd595a0c22e... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Mon May 18 12:05:10 2009 +0100 Improved the methods refine_with_congruence[s](). Congruences can now refine the box even when the congruence is not non-relational. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b827904975bbe... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Mon May 18 11:26:03 2009 +0100 Improved the relation_with(Congruence) implementation for the weakly relational domains. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8ea60a5e9537... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon May 18 11:18:40 2009 +0200 New tests for Polyhedron::wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=79c0986359562... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Mon May 18 10:22:09 2009 +0200 Known result for test03() corrected; test now marked to succeed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=656fbd60bb14e... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Mon May 18 10:17:59 2009 +0200 First draft of Box::wrap_assign() is now operational. Added a few tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1c80c743c7c0... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon May 18 10:13:53 2009 +0200 Fixed a bug in wrap_assign_col(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21df1e86b0b56... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Mon May 18 08:59:11 2009 +0200 Added a test showing a bug in wrap_assign when wrap_individually == false. Test is test20(), temporarily marked as an expected failure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=beee742bea103... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon May 18 08:20:34 2009 +0200 8-bit coefficients are now enough for test07(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8bd2d5df01c5... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Mon May 18 08:16:34 2009 +0200 Added declarations and stub implementations for drop_some_non_integer_points(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a29f32dbb8b1... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun May 17 17:42:14 2009 +0200 Finished the documentation about the wrapping operator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4335c8f28a366... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Sun May 17 16:42:56 2009 +0200 Rounding direction is not relevant here. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a171dbe14eed... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Sun May 17 14:55:14 2009 +0200 Get rid of a comparison warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a30eaca4651ed... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Sun May 17 11:41:21 2009 +0200 Simplified code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3dd71f3d2a0c... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun May 17 08:44:42 2009 +0200 Added more in the section about the wrapping operator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abda7dc37e19d... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat May 16 22:25:18 2009 +0200 More work on the documentation of approximations for bounded integer arithmetic. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead00b0ac972c... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat May 16 21:08:08 2009 +0200 Bounded_Integer_Type_Signedness renamed Bounded_Integer_Type_Representation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64ad90df3806c... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat May 16 14:11:38 2009 +0200 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f04ae2cea9403... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat May 16 12:05:35 2009 +0200 Started writing the section on approximating bounded arithmetic. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f28c8bf97087a... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat May 16 12:04:14 2009 +0200 Further cleaning of relation_with(Congruence) implementations. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f62a4633701ed... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Sat May 16 09:16:46 2009 +0200 Improved a few timeout and exception tests. Make sure an out_of_memory exception is thrown as expected even when a large amount of memory is available. Do not set timeouts out of catch constructs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a169691f1a9d7... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat May 16 08:57:00 2009 +0200 test19() must fail with 8-bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b6d78c1026ca... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Sat May 16 08:25:03 2009 +0200 These tests fails with 16 bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6576478c6adb... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sat May 16 06:54:56 2009 +0200 Item removed: no big deal. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fd53aaf53c5c... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 21:32:37 2009 +0200 The test fails also with 32 bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c9efaf9e303b... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri May 15 21:08:49 2009 +0200 FIXME resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4496b18b54f3d... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 20:48:56 2009 +0200 The test fails also with 32 bit coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30f456f032cf5... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri May 15 19:45:25 2009 +0200 Fixed the generic implementation of wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4845f4d529daf... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 18:27:01 2009 +0200 A strict relation info is required here too. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab230a684a4d2... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 18:22:02 2009 +0200 A strict relation info is required here. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01d418b281367... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 16:51:14 2009 +0200 Fixed a typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1734ba44f5b53... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 16:23:19 2009 +0200 Added an assert(false) for unreachable code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbac03988bc9b... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 16:22:21 2009 +0200 Avoid two warnings. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ec4eb24ac151... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 16:15:47 2009 +0200 Renamed and commented ROUND_STRICT_RELATION. Added some use of it. Added some optimizations when ROUND_NOT_NEEDED is specified. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eca9369a82726... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Fri May 15 15:40:35 2009 +0200 Improved method Polyhedron::relation_with(const Congruence&) const. Avoided several temporary objects; added a FIXME asking for the rounding mode. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99eba6af02765... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri May 15 15:28:11 2009 +0200 Fixed the invocation of the generic implementation of wrap_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=baa08eff6430b... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri May 15 15:12:50 2009 +0200 Check that all variables upon which `*pcs' depends are in `vars'. An assertion is violated otherwise. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db4eb892c0382... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Fri May 15 14:54:23 2009 +0200 Several improvements to Octagonal_Shape<T>::relation_with(const Congruence&). Alaso added a couple of FIXME regarding missing comments and rounding modes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72619d2aafd03... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Fri May 15 14:48:24 2009 +0200 Corrected typo in explanatory output. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1736b8c74e217... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Fri May 15 14:47:30 2009 +0200 Minor improvement. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3d07f461687f... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Fri May 15 14:50:43 2009 +0200 Fixed rounding. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cf2bebf45a8c1... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Fri May 15 14:30:05 2009 +0200 Changed the specification of wrap_assign(). If `*pcs' depends on variables not in `vars', the behavior is undefined. We perform only the quick test on space dimensions. In debugging mode we will check the condition thoroughly. 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. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6dcbc9846093... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Fri May 15 08:12:34 2009 +0200 Let the wrap_assign tests succeed until the specification is clarified. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=331d2714c64da... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Fri May 15 08:00:30 2009 +0200 Added a note about the use of `assign' helper functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d286a5a4f475a... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Fri May 15 07:46:59 2009 +0200 When wrapping no variable, do not ignore the optional constraint system. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fd333e0c585d... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu May 14 23:35:26 2009 +0200 Added a few missing accessor methods to Java interface classes. Affected classes are Congruence, Generator and Grid_Generator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30dfe89368c39... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu May 14 22:04:30 2009 +0200 Fixed the bug witnessed by test15(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=972db0c00ebac... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu May 14 21:51:58 2009 +0200 Partially reverted changes 71e9992afa9bc049b93d0b29fd9dbe52ead850cf. The changes were not working on platforms where floating point rounding mode could not be set (e.g., ARM), even though rounding control is not actually needed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1eb58559607ca... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu May 14 21:53:56 2009 +0200 Temporarily marked test15() and test16() as expected to fail. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa6ebeae31b46... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu May 14 21:53:39 2009 +0200 Last commit partly undone. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74ade8b7dbf15... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu May 14 21:05:22 2009 +0200 Adapted generic implementation of wrap_assign to model the rational case. Also added a couple of tests showing problems in the current implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1db2683636da9... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu May 14 15:46:36 2009 +0200 Use PPL_DIRTY_TEMP for temporary objects. Also corrected a type causing an assertion failure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92cfd0aae5bc4... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Thu May 14 16:03:56 2009 +0200 Added missing clear. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09bd1e66fee53... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Thu May 14 15:33:30 2009 +0200 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f20b6e3172fb... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Thu May 14 15:10:08 2009 +0200 Some progress on Box::wrap_assign(). Corrected a couple of typos in Interval::wrap_assign(). Silenced an annoying GCC warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b64080a7407e0... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu May 14 12:43:47 2009 +0200 Commits improved. 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=c606710cfe67a... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Wed May 13 21:43:11 2009 +0100 Removed repeated specification of operators in the grids section. Ensure cross-references to these sections now refer to the equivalent sections for polyhedra. Fixed a typo in src/Determinate.defs.hh that caused a warning when compiling the documentation. 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.