URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05b0312b2ae35... Merge: eb2c84bd414b2345612ab16c4d325afd6a475a00 7e6ceed614822e32ec6c9286ea95d2c553cf005b Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat Sep 14 19:55:13 2013 +0200

Merge branch 'polyops'.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e6ceed614822... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Tue Sep 10 10:21:00 2013 +0200

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d1cac4b9e949... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Tue Sep 10 10:17:08 2013 +0200

Path fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a1ca2713f8dc... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Tue Sep 10 10:06:16 2013 +0200

Give up on -Werror: it increasingly causes problems. (Thanks to Stephen Montgomery-Smith.)

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52f8c2458eb14... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Tue Sep 10 10:02:01 2013 +0200

Directory fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d7529849b85e... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Tue Sep 10 09:25:48 2013 +0200

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=531968717ce25... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Mon Sep 9 16:27:14 2013 +0200

Mention recently fixed Java interface bug.

The bug was observed by Gianluca Amato when working (in Java) using a 32 bit build of the PPL. Fixed in commit 30478fbeb75f3e675ec0b3eff32f0a8dd7991f7a

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa7a5ed80e465... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Mon Sep 9 13:51:23 2013 +0200

Initialize custom_compare_ext field in structure custom_operations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c73089b7987d... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Mon Sep 9 13:49:16 2013 +0200

Do not clean inexistent dat file. Be consistent in naming dat files in Grid's ascii_dump/load tests.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=161ea78b114a0... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Mon Sep 9 13:44:17 2013 +0200

Convert C++ Variable id's to jlong before passing them to Java methods.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eebc8c95bf110... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed Jul 3 18:10:49 2013 +0200

Adapted to recent versions of GNU Prolog so as to work on 64-bit machines.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f8b49681fed0... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed Jul 3 15:19:00 2013 +0200

Version number bumped.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ebcf2aa118c21... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed Jul 3 15:18:06 2013 +0200

Use the serial test harness in these directories.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddd1c4f64b21d... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed Jul 3 15:11:38 2013 +0200

Automake `subdir-objects' option is not for us.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fc81a9bd8c4ec... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Jun 23 08:59:06 2013 +0200

Updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eabbef26ca8dc... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Jun 23 08:48:29 2013 +0200

Put under Git control.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ab8b2722441c... Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Jun 23 08:47:54 2013 +0200

Use the `subdir-objects' Automake option.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=38ef7ac9ba792... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Sun May 26 20:33:25 2013 +0200

Fixed typo in the Java interface for method `frequency' and added testcase. Bug reported by Gianluca Amato.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37c8c9712dd66... Author: Enea Zaffanella enea.zaffanella@bugseng.com Date: Thu May 16 16:55:55 2013 +0200

The documentation details of the Polyhedron::conversion() static method are not meant for the user manual.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bf7d3f2d9eda... Merge: ecec8a84028b623f777cd1a424e4a82bdbc8b7dd b06285533ca60251c4132d1c388c64bdcbea62aa Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Wed May 15 21:44:45 2013 +0200

Merge branch 'master' into polyops

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecec8a84028b6... Author: Marco Faella marfaella@gmail.com Date: Mon May 13 16:29:50 2013 +0200

Added test cases for the positive time elapse operator. Modified the user manual and the credits in order to acknowledge the new function and its authors, respectively.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e14a54f0b6c8... Merge: 6790e3270667e4d85821bad8b879ead72498cabf fba4b31ebf3179be4fa020f5278d67728b192c8e Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Thu Jan 17 09:16:09 2013 +0100

Merge branch 'master' into polyops

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6790e3270667e... Merge: a357bc4aefebd03e72ed131a086f966cf7cb65f5 479fd86bc58b644f81aec0cedd6b857b693cc25a Author: Marco Faella marfaella@gmail.com Date: Tue Jan 15 14:35:01 2013 +0100

Merge branch 'polyops' of ssh://git.cs.unipr.it/ppl/ppl into polyops

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a357bc4aefebd... Author: Marco Faella marfaella@gmail.com Date: Tue Jan 15 14:34:06 2013 +0100

first draft of positive_time_elapse added