URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02b57d13dc919... Merge: c26fbfa09f6b0d47770e1059db921f16fc9b855f 547d8c5dc79bfb28e23d6a08ed298cab74561b38 Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Fri Mar 30 09:23:47 2012 +0200 Merge branch 'master' into sparse_matrices 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.