URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=954b6a076634b... Merge: da49b6da9d4f01ed01fcd1e42f55fea6513da7a7 547d8c5dc79bfb28e23d6a08ed298cab74561b38 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 27 16:48:32 2012 +0200
Merge branch 'master' into ppl-0_12-branch
Conflicts: configure.ac interfaces/Prolog/tests/ppl_interface_generator_prolog_generated_test_pl_code.m4 src/Grid_Certificate.cc src/Polyhedron_nonpublic.cc src/compiler.hh
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=547d8c5dc79bf... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 27 07:15:10 2012 +0200
Parameter name fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f8abc4dc994... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 27 07:03:19 2012 +0200
Do not assume doubles are supported.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d003a6e58d5a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 26 19:14:43 2012 +0200
Version number bumped.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a32cb5e9d79b0... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Mar 26 17:00:46 2012 +0200
Surround non integer costants with a cast to boundary type.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9e4e176fb74... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 26 15:43:32 2012 +0200
Do not rely on doubles being supported.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1362d3bf62085... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Mon Mar 26 14:51:48 2012 +0200
Output is exact also with some added needless zeroes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30c55629fd03c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 26 10:39:05 2012 +0200
Removed unused parameter name.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59bbf2ad8eeaa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 25 21:18:47 2012 +0200
Keep macro names within the PPL namespace.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a52b5e5ddecd7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 25 19:57:52 2012 +0200
Only build `ppl_pl' for checking and install it only when shared libraries are disabled.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f70fc76500b8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 25 15:26:14 2012 +0200
Cater for versions of SWI-Prolog configured with `--disable-libdirversion'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a09c726988797... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 25 14:57:50 2012 +0200
Make sure the trailing ^M are suppressed under Windows.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4580fa8886eae... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 25 11:59:44 2012 +0200
Remove the drive indication SWI-Prolog prepends to the PLBASE path under Windows.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae14af77fe6d4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Mar 25 10:18:08 2012 +0200
Corrected wrong assertion after call to Grid::simplify().
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ef3a18385085... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 24 18:58:43 2012 +0100
Added missing uses of `$EXEEXT'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533fae3d1b738... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 24 18:56:03 2012 +0100
Added missing link options.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dd838e58b176... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 24 15:51:38 2012 +0100
Useless declarations removed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5b1ab576f8cb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 24 15:50:31 2012 +0100
Fixed debugging code.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6677f1f4e72ba... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 24 14:56:05 2012 +0100
Corrected test for has_{upper,lower}_bound so as to avoid calling the predicate on zero-dim boxes.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666ee3e53fbc2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Mar 24 14:03:14 2012 +0100
Restored the build.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4483b02e0662... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Fri Mar 23 20:04:38 2012 +0000
Added comments.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d571fcfe081a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 23 20:50:12 2012 +0100
Added `@extra_includes@' to `AM_CPPFLAGS'. (Thanks to Joao M. Santos Silva.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1ae10fce329c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 23 20:22:26 2012 +0100
Portability improved. (Thanks to Tim Donahue.)
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6f410b9588599... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 23 20:18:02 2012 +0100
Fixed lots of parameter names. Detected by ECLAIR service funparam.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3aa23db34831... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 23 18:31:34 2012 +0100
Fixed lots of parameter names. Detected by ECLAIR service funparam.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c05ad33bb7f8b... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Thu Mar 22 10:10:05 2012 +0100
Fixed indentation.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a65ba183e744... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Mar 21 19:44:00 2012 +0100
Removed extra parenthesis.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42e767e008cc1... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Mar 21 19:39:49 2012 +0100
Added some missing parenthesis.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ada46f6016872... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 21 16:59:21 2012 +0000
Added missing parentheses. Detected by eclair service exprprns.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce51fb2114461... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 21 15:13:28 2012 +0100
Fixed a couple of typos.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28c00aa026e4c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 21 14:30:11 2012 +0100
Improved documentation for Box<ITV>::has_{upper,lower}_bound(). Weakened precondition regarding box emptiness: the box can be empty, but it can not be marked empty. Added a test to the Prolog interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c640b9acf665... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 21 10:56:18 2012 +0100
Modified interface for Box<ITV>::has_{upper,lower}_bound. The changes are meant to make it more similar to, e.g., maximize(). Hence, we no pass in a Variable rather than a bare dimension_type and the boolean reference argument `closed' is the last one.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f8ede593ef9b... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Tue Mar 20 13:18:03 2012 +0000
Added parentheses and improved formatting. Missing parentheses detected by ECLAIR service exprprns.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec10039245e9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 19 19:33:55 2012 +0100
This file is not part of the Parma Polyhedra Library.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047c37cda2bb8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 19 17:47:44 2012 +0100
Added Box method has_{upper.lower}_bound to OCaml and Prolog lang interfaces.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1efe14de85745... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 19 10:52:36 2012 +0100
Added Box method has_{upper,lower}_bound to Java language interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ee57e6c10412... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 19 08:39:20 2012 +0100
Added Box methods has_{upper,lower}_bound to C language interface.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e604b2c5f03b7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 19 13:31:42 2012 +0100
Text revised.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ccbc9497bf3e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 19 12:05:33 2012 +0100
Sentence revised.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0a533690561d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 11:36:58 2012 +0100
Man pages updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea15ab4635ca7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 09:44:42 2012 +0100
Use a canonical FDL text.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8df2fd42dd3c1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 09:38:52 2012 +0100
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b865bbd536bf... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 09:23:18 2012 +0100
URL fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04b8e3abd9df8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 09:18:56 2012 +0100
Indentation fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d15a56a55b9ae... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 08:35:10 2012 +0100
Cleaned.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c381f0e1e261e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 08:23:08 2012 +0100
Copyright wording fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0cae23e138a1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 08:12:19 2012 +0100
Updated two spurious references to FDL 1.1.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de17663ee4f66... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 19:04:01 2012 +0100
Use a consistent formatting.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe5d848085853... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 18:57:49 2012 +0100
Wording fixed/improved.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca4e7f70b1c24... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 18:45:30 2012 +0100
Blank line added.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0aaaf32d0d703... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 18:23:27 2012 +0100
Use consistent formatting for the FDL.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d057ae45cf1b0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 18:03:59 2012 +0100
Added missing paragraph.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=71cd387e80247... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 15:43:21 2012 +0100
Standardized copyright messages.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ede1a395a32c2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 15:26:01 2012 +0100
Made uniform as far as the copyright message and licensing conditions are concerned.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=487f91a9655fe... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 15:22:27 2012 +0100
Updated: we no longer use CVS.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6e62b0264bbf... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Mar 15 07:39:52 2012 +0000
Ensure macro parameters in macro bodies are in parentheses.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92d1229784b3c... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 14 16:04:27 2012 +0000
Ensure parameters in bodies of macros are parenthesized.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc6864df1b2ca... Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 14 13:39:40 2012 +0000
Ensure parameters in macro bodies are parenthesized appropriately. Missing parentheses detected by ECLAIR service macrbody.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3442f48f028d... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Wed Mar 14 11:34:58 2012 +0100
Avoid needless macro complexity.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cca8637a572eb... Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Tue Mar 13 18:18:17 2012 +0100
Fixed licenses text.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abfdcd61e39dd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 13 17:49:43 2012 +0100
Removed bogus use of EXTRA_DIST.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15351dec0d694... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 12 13:53:04 2012 +0100
Avoid implicit conversions to bool. Detected by ECLAIR service utypflag.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b623cb806b22d... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 12 11:39:12 2012 +0100
Avoid implicit conversion from boolean to integral. Detected by ECLAIR service utypflag.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5a2bb64fd41b2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Mar 12 11:38:03 2012 +0100
Prefer testing explicitly against zero. Detected by ECLAIR service utypflag.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72de66fb85046... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 19:47:56 2012 +0100
Use variables instead of repetition.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68acb101eab3f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 19:41:31 2012 +0100
Typo fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a2efa7ce4e67... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 18:27:30 2012 +0100
Typos fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9390420242973... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 18:24:50 2012 +0100
Predicates renamed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fa2a003ff7ba... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 18:20:42 2012 +0100
Identifier fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c42d3a7aeede9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 18:18:30 2012 +0100
String fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec19e1b522088... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 11 17:21:42 2012 +0100
Comments simplified.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f0ce5d8d426b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 19:15:34 2012 +0100
Commented-out code removed. Detected by ECLAIR service cmntdout.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5010fa847b1f3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 19:14:06 2012 +0100
Comment corrected.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a00f2ac21655b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 19:04:35 2012 +0100
Old FIXMEs dealt with. Detected by ECLAIR service cmntdout.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c44e7ac3e024... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 18:57:39 2012 +0100
Do use the notation "[l, u]" to denote the closed interval with boundaries `l' and `u'.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bfe9db5473e2d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Mar 9 18:36:05 2012 +0100
Added missing full-stop in comment.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50030fba0045a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 8 13:01:20 2012 +0100
Renamed Box methods get_{upper,lower}_bound() as has_{upper,lower}_bound(). Improved documentation: in particular, make clearer that undefined behavior is obtained when calling them on an empty box.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cab131006b03... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 1 22:24:52 2012 +0100
Avoid implicit conversions to bool (prefer explicit tests against zero). Detected by ECLAIR service utypflag.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b6c3449ce4708... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 1 22:23:29 2012 +0100
Avoid implicit cast narrowing a signed integer value. Detected by ECLAIR service utypflag.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49f8811aeaabe... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 1 22:21:07 2012 +0100
Removed unused static const data member.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d745cfa91fc74... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 1 22:19:18 2012 +0100
Avoid implicit conversions to bool. Detected by ECLAIR service utypflag.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef23118849edd... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Mar 1 22:17:42 2012 +0100
Avoid implicit coversion to bool. Detected by Boolean service utypflag.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae02418951a24... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 29 21:41:34 2012 +0100
Added missing parentheses around a macro arguments. Detected by ECLAIR service macrbody.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7c06758ef7df... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 29 20:55:37 2012 +0100
Avoid mixing plain character data with numeric data. Detected by ECLAIR service utypflag.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37adcae2f9399... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 29 20:55:05 2012 +0100
Code layout fixed.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8f677733f78e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 29 10:36:23 2012 +0100
Updated.
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acadcd82f6c20... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 28 11:46:39 2012 +0100
Added a missing project and updated a broken link.