April 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/w3ppl(master): Added bibtex entry for BagnaraHZ09 ( submitted for publication).
by Enea Zaffanella 07 Apr '09

07 Apr '09

Module: ppl/w3ppl Branch: master Commit: 62da5b310035206635d82a0a0e688af5a525f4c1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=62da5b3100… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Apr 7 15:54:08 2009 +0200 Added bibtex entry for BagnaraHZ09 (submitted for publication). --- htdocs/Documentation/ppl.bib | 35 +++++++++++++++++++++++++++++++++++ 1 files changed, 35 insertions(+), 0 deletions(-) diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib index 56b4e40..2784df5 100644 --- a/htdocs/Documentation/ppl.bib +++ b/htdocs/Documentation/ppl.bib @@ -896,6 +896,41 @@ URL = "http://www.cs.unipr.it/ppl/Documentation/BagnaraHZ09TCS.pdf" } +@Unpublished{BagnaraHZ09, + Author = "R. Bagnara and P. M. Hill and E. Zaffanella", + Title = "Weakly-Relational Shapes for Numeric Abstractions: Improved + Algorithms and Proofs of Correctness", + Year = 2009, + Note = "Submitted for publication", + Abstract = "Weakly-relational numeric constraints provide a + compromise between complexity and expressivity that is + adequate for several applications in the field of formal + analysis and verification of software and hardware systems. + We address the problems to be solved for the construction + of full-fledged, efficient and provably correct abstract + domains based on such constraints. We first propose to work + with \emph{semantic} abstract domains, whose elements are + \emph{geometric shapes}, instead of the (more concrete) + syntactic abstract domains of constraint networks and + matrices on which the previous proposals are based. + This allows to solve, once and for all, the problem whereby + \emph{closure by entailment}, a crucial operation for the + realization of such domains, seemed to impede the + realization of proper widening operators. In our approach, + the implementation of widenings relies on the availability + of an effective reduction procedure for the considered + constraint description: one for the domain of \emph{bounded + difference shapes} already exists in the literature; we + provide algorithms for the significantly more complex cases + of rational and integer \emph{octagonal shapes}. + We also improve upon the state-of-the-art by presenting, + along with their proof of correctness, closure by entailment + algorithms of reduced complexity for domains based on + rational and integer octagonal constraints. + The consequences of implementing weakly-relational numerical + domains with floating point numbers are also discussed.", +} + @InProceedings{BalasundaramK89, Author = "V. Balasundaram and K. Kennedy", Title = "A Technique for Summarizing Data Access

1 0

[GIT] ppl/w3ppl(master): Added BandaG09. Used the right kind of dash in other entries.
by Roberto Bagnara 07 Apr '09

07 Apr '09

Module: ppl/w3ppl Branch: master Commit: 54f8d3221dc2a3c8ad2c3df330f70468630950bf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=54f8d3221d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 7 15:42:19 2009 +0200 Added BandaG09. Used the right kind of dash in other entries. --- htdocs/Documentation/ppl_citations.bib | 39 ++++++++++++++++++++++++++++++- 1 files changed, 37 insertions(+), 2 deletions(-) diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib index 3529ccd..251b0f8 100644 --- a/htdocs/Documentation/ppl_citations.bib +++ b/htdocs/Documentation/ppl_citations.bib @@ -51,7 +51,7 @@ ISBN = "978-3-540-92187-5", Note = "Revised papers presented at the 6th International Symposium on Formal Methods for Components and Objects (FMCO 2007), - Amsterdam, The Netherlands, October 24-26, 2007", + Amsterdam, The Netherlands, October 24--26, 2007", Abstract = "This paper describes the architecture of COSTA, an abstract interpretation based COST and termination Analyzer for Java bytecode. The system receives as @@ -284,6 +284,41 @@ Note = "Available at \url{http://www.lsi.upc.es/dept/techreps/techreps.html}" } +@Incollection{BandaG09, + Author = "G. Banda and J. P. Gallagher", + Title = "Analysis of Linear Hybrid Systems in {CLP}", + Booktitle = "Logic-Based Program Synthesis and Transformation", + Editor = "M. Hanus", + Pages = "55--70", + Publisher = "Springer-Verlag, Berlin", + Series = "Lecture Notes in Computer Science", + Volume = 5438, + Year = 2009, + ISBN = "978-3-642-00514-5", + Note = "Revised selected papers presented at the 18th International + Symposium on Logic-Based Program Synthesis and Transformation + (LOPSTR 2008), Valencia, Spain, July 17--18, 2008", + Abstract = "In this paper we present a procedure for representing + the semantics of linear hybrid automata (LHAs) as + constraint logic programs (CLP); flexible and accurate + analysis and verification of LHAs can then be performed + using generic CLP analysis and transformation + tools. LHAs provide an expressive notation for + specifying real-time systems. The main contributions are + (i) a technique for capturing the reachable states of + the continuously changing state variables of the LHA as + CLP constraints; (ii) a way of representing events in + the LHA as constraints in CLP, along with a product + construction on the CLP representation including + synchronisation on shared events; (iii) a framework in + which various kinds of reasoning about an LHA can be + flexibly performed by combining standard CLP + transformation and analysis techniques. We give + experimental results to support the usefulness of the + approach and argue that we contribute to the general + field of using static analysis tools for verification." +} + @Inproceedings{BouchyFL08, Author = "F. Bouchy and A. Finkel and J. Leroux", Title = "Decomposition of Decidable First-Order Logics @@ -1616,7 +1651,7 @@ ISBN = "978-3-540-72520-6", Note = "Revised papers presented at the 19th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2006), - New Orleans, Louisiana, USA, November 2-4, 2006", + New Orleans, Louisiana, USA, November 2--4, 2006", Abstract = "Affine control loops (ACLs) comprise an important class of compute- and data-intensive computations. The theoretical framework for the automatic parallelization

1 0

Re: [PPL-devel] I have troubles with GCC 4.3.3 installation
by Roberto Bagnara 07 Apr '09

07 Apr '09

Saeed Amrollahi wrote: > [...] in installing PPL (Parma Polyhedra Library), I encounter the > following errors (in make phase): > > warning: undefined _SMC_LIMIT_MACROS > ... > make[6] ***[libppl_c.la] Error1 > ... > make[5]: Leaving directory ... > .. > make[1]: Leaving directory ... > make: ***[all] Error 2 Dear Saeed, I believe we can help you installing the PPL. In order to do that, we need to know which version of the PPL you are trying to install. We also need the files config.log and config.h generated by the configuration procedure. Please direct all PPL-related messages to ppl-devel(a)cs.unipr.it. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[GIT] ppl/ppl(master): Disabled test07() on the Alpha.
by Roberto Bagnara 07 Apr '09

07 Apr '09

Module: ppl/ppl Branch: master Commit: 11f285e07ccecfd5cb7ba99745b056b842bebe00 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11f285e07cce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Apr 7 06:04:44 2009 +0000 Disabled test07() on the Alpha. --- tests/Octagonal_Shape/unconstrain1.cc | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/tests/Octagonal_Shape/unconstrain1.cc b/tests/Octagonal_Shape/unconstrain1.cc index e5b8bf3..da6ea1d 100644 --- a/tests/Octagonal_Shape/unconstrain1.cc +++ b/tests/Octagonal_Shape/unconstrain1.cc @@ -222,7 +222,10 @@ BEGIN_MAIN DO_TEST(test04); DO_TEST(test05); DO_TEST(test06); +#ifndef __alpha__ + // Exception handling is broken in GCC on the Alpha. DO_TEST(test07); +#endif DO_TEST(test08); DO_TEST(test09); END_MAIN

1 0

[Fwd: Re: GCC Compile Farm News: 12 architectures now available]
by Tobias Grosser 07 Apr '09

07 Apr '09

Hi, just to inform you. There will be FreeBSD machines on the gcc compile farm. Tobias

2 1

Re: [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
by Tobias Grosser 07 Apr '09

07 Apr '09

On Mon, 2009-04-06 at 19:04 +0200, Roberto Bagnara wrote: > Tobias Grosser wrote: > > Installed gcc34 also fails. I will now try gcc current. > > Hi Tobias, > > something strange is happening. And debugging cannot proceed > unless we get access to a FreeBSD machine. I am thus downloading > > ftp://ftp.freebsd.org/pub/FreeBSD/releases/i386/ISO-IMAGES/7.1/7.1-RELEASE-… > > and will try installing it under VirtualBox. I hope this installation > process will go smoothly, as I have very little time to devote > to this activity (I hope to be able to do that in a couple of weeks). > > Meanwhile, I would not delay the release of PPL 0.10.1. > Concerning GCC 4.4, be reassured that that failure has nothing > to do with the PPL features actually used in Graphite. So, even > if your observation witnesses a PPL bug, this does not affect GCC > in any way. > Cheers, Sure, keep going. I will create a ppl 10.1 patch for Freebsd ports. If we actually find the bug we can still patch it in the ports system. Also this bug seems not to affect gcc/graphite. Nevertheless it would be nice to get it fixed. I will be back in Germany in about one week. There it will be easier to set up a FreeBSD box for you to play with. So if you are under time pressure you do not have to fix the bug right now. We tracked it down and I will make a box for you available in two weeks. Tobi

2 1

[GIT] ppl/ppl(ppl-0_10-branch): New commits
by git＠cs.unipr.it 06 Apr '09

06 Apr '09

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34817d8d83a0… Merge: 2a99071b3d238884e1120d34c994684671a6221f 52d769bff2e50c45330bdca9a955e33c9526337e Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 22:02:39 2009 +0200 Merge branch 'master' into ppl-0_10-branch. Conflicts (resolved): ChangeLog TODO Watchdog/ChangeLog configure.ac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52d769bff2e5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 20:21:25 2009 +0200 Updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b99a2467787d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 19:59:56 2009 +0200 Machinery to generate ChangeLog adapted to Git. This is still highly unsatisfactory, as it requires manual intervention. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ddc68784afe… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 18:55:14 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a81262c763e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Apr 6 15:17:16 2009 +0200 Avoid differences generated by locale. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2da0f6fec26… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 15:11:47 2009 +0200 Set LC_COLLATE=C in addition to LANG=C. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d38cfbdcfa92… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 3 10:21:01 2009 +0000 Disabled test04() on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3446585afd62… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Apr 5 18:54:13 2009 +0200 Disabled a couple of tests on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd8f56859bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 4 08:17:57 2009 +0200 Updated for PWL 0.7. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb648ef680b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 4 08:17:31 2009 +0200 Updated for PPL 0.10.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59aa0521574a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Apr 4 08:05:10 2009 +0200 More NEWS items added. Tentative release date set to April 14, 2009. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e00dfb7f0c56… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 3 16:28:37 2009 +0200 Do not use the same object to play different roles in the same method call. In calls to methods Box::difference_assign and Box::concatenate_assign we were binding the very same Box object both to the (modifiable) implicit argument *this and to the (const) explicit argument y. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec81d249f91b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Apr 3 16:09:25 2009 +0200 Fixed a missing initialization bug in Box::concatenate_assign. Also improved methods add_space_dimensions*: instead of adding new uninitialized intervals and later initialize them, we now directly add properly initialized intervals. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4127a9caaaa6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Fri Apr 3 10:34:38 2009 +0100 Avoid warning of unused variable space_dim. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db1ced1c1d7a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Apr 3 05:20:30 2009 +0000 Work around a bug affecting some versions of <stdio.h>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6faf694d166b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Apr 2 22:11:02 2009 +0200 Added missing uses of AC_REQUIRE; removed a spurious one. Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b959163da9e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 2 18:37:45 2009 +0200 Use @mlgmp_dir@ instead of +gmp for the -I option of ocamldoc. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab09fc64171c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Apr 2 16:34:17 2009 +0200 Fixed parallel make. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=237c520ccf6e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 2 14:42:01 2009 +0200 Added a couple of items. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50fce16879df… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 2 13:36:06 2009 +0200 We no longer have FIXME's for 0.10.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=111862b03b71… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 2 13:31:29 2009 +0200 Another FIXME postponed to 0.11. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=116032035534… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Apr 2 13:23:20 2009 +0200 A couple of FIXME postponed to 0.11. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c7a8ef09f6d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 1 22:32:00 2009 +0200 Code duplication and useless bitwise manipulation avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bd4e05f5300… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 1 21:13:44 2009 +0200 FIXME resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=91794cd12b1f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 1 16:57:30 2009 +0000 Disabled test19() on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c37da7974406… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 1 16:27:16 2009 +0200 Adapted test Box/ascii_dump_load1.cc and FIXME removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be841361f1f4… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Apr 1 14:15:57 2009 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f73f6b6af1de… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Apr 1 13:27:14 2009 +0100 Revised the implementation for Box<ITV>::limited_cc76_extrapolation_assign() so as to use the limiting constraint system to limit the widened box. The FIXME(0.10.1) there is now removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e0d0b4b32c0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Apr 1 14:23:34 2009 +0200 Test adapted and fixme removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e74285860c8… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Apr 1 09:31:06 2009 +0100 Changes to deal with //FIXME(0.10.1): the following is a bug! in src/Pointset_Powerset.templates.hh As Grids are non-convex, the constructor for a powerset of nnc polyhedra from a powerset of grids has been implemented separately from the generic case. A test added to show that there was a bug which is now fixed. The "//FIXME(0.10.1): ..." has been removed but a new FIXME added indicating this code will break if other non-convex or non-linear domains are added URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0da4a56d738… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 1 10:41:21 2009 +0200 Updated for PPL 0.10.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fd5be627f29… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Apr 1 10:40:10 2009 +0200 New items for PPL 0.11 added. Other items scheduled for PPL 0.11. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1826e6cd378e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 20:18:44 2009 +0200 Made ascii_load more restrictive. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=432d03e6ab06… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 31 20:30:09 2009 +0200 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ac85b56ba1b… Merge: ccc5ce00a303af09a7e37d120695a2c1cbb37834 21f7acf730e5ebf68eca6bcf9034b19098375b67 Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 31 17:38:30 2009 +0000 Merge branch 'master' of ssh://bagnara@git.cs.unipr.it/git/ppl/ppl URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccc5ce00a303… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 31 17:37:40 2009 +0000 Disabled one more test on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21f7acf730e5… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 17:35:39 2009 +0200 Postponed FIXME. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=337302a6e28f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 17:02:11 2009 +0200 Removed FIXME and documented the default value. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53bc728c443c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 16:52:25 2009 +0200 Added TODO item. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=265df2a955aa… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 16:48:05 2009 +0200 Postponed FIXME. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3eb98fc9cdf… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 31 10:24:49 2009 +0200 Fixed run_tests make. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=707506c9498a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Mar 31 11:13:57 2009 +0100 Removed two FIXME(0.10.1)s which have been checked and for which nothing needs to be done. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aaa333e2ecda… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 31 06:36:04 2009 +0000 Disabled some tests on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ef13f200169… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 22:20:12 2009 +0200 Version number bumped. The name of the program is Autoconf. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40af6c2c6af4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 23:01:54 2009 +0200 Register OCaml interface exceptions; added a few tests. The interface exceptions should be registered both in the .ml and .mli files. Added a test for the invalid argument exception (negative space dimension) and for the set/reset timeout functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=861f99ed4620… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 21:29:52 2009 +0200 Added one item for PPL 0.11. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd82590da6f2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 18:56:44 2009 +0000 Disable test19() on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f2eadcbe1e8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 19:15:03 2009 +0200 Fixed *_CPPFLAGS variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2824c7f7c277… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 19:14:25 2009 +0200 Include "ppl_c_test.h" instead of "ppl_c.h". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=57e7cee40f6e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 19:13:50 2009 +0200 Include "ppl_c.h". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b87c02d3875… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 19:13:12 2009 +0200 Avoid redefining NDEBUG. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9677eb06b871… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 18:47:53 2009 +0200 Register PPL_timeout_exception in the OCaml interface. Avoid flood of warnings by directly thowing CAML exceptions in CATCH_ALL. Still debugging the handling of timeouts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=675e168d438c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 15:18:23 2009 +0200 Removed the tag "(0.10.1)" from a FIXME unrelated to with PPL 0.10.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41f6b3361c37… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 15:16:35 2009 +0200 Obsolete FIXME removed: methods Box::refine_* were fixed long ago. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82eb7cc49693… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 15:14:28 2009 +0200 Decided that it is not worth renaming PPL_OUTPUT_TEMPLATE_DEFINITIONS. Calling it PPL_OUTPUT_1_PARAM_TEMPLATE_DEFINITIONS would not buy us anything: FIXMEs removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a4ca18a8947… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 16:01:01 2009 +0200 Let OCaml tests also link with the pwl library, if configured. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f90f27056289… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 14:51:32 2009 +0200 Warn about the GCC bug affecting exception handling on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e2ef0782734… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 30 14:25:36 2009 +0200 Consider switching to MLGMPIDL for the OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c73b9bb132e8… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 13:36:40 2009 +0200 Added wrap_string to java interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bcea883ad54… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 13:21:27 2009 +0200 Reverted bogus commits. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16ac5d178e70… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 13:15:23 2009 +0200 Added file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4fe353e3680… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 13:11:35 2009 +0200 Added file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c437b899162… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 12:32:15 2009 +0200 Added test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3bdb6dc94f2… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 12:27:48 2009 +0200 Added java. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc52a4d4a0c7… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 12:15:51 2009 +0200 Fix2. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2535ee2f997f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 12:15:22 2009 +0200 Fix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=295220a25d62… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 12:12:07 2009 +0200 Added wrap_string. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bb9b33148f43… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 13:05:32 2009 +0200 Helper OCaml interface function renamed for consistency. value_to_unsigned_native --> value_to_unsigned (to be consistent with similar functions in the Java and Prolog interfaces). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bf7b9a5ca28… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 12:26:28 2009 +0200 Moved TODO items to their place. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67042a165fa0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 12:16:24 2009 +0200 Added timeout functions to the OCaml interface. Also removed duplicate CATCH_ALL macro definitions in the Prolog and OCaml interfaces. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35c225d666eb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 12:14:05 2009 +0200 Improvements to the OCaml and Prolog interface documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2d08794ca7d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 10:52:47 2009 +0200 Fixed restore of parallelized tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2991d105382c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 09:59:17 2009 +0200 Revert "Restore parallelized tests." This reverts commit b163fee3b048fe3dd07be912850ec042f4d24b2d. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b163fee3b048… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 30 09:41:10 2009 +0200 Restore parallelized tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099390e253a3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 09:22:58 2009 +0200 Minor improvement to documentation. In the documentation block for \defgroup, do not use \brief if there does not also exist a detailed documentation section (otherwise, doxygen will insert a spurious "More..." link pointing to the same page). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b17d00bfc0b4… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 30 09:16:28 2009 +0200 Avoid spurious vertical space in the documentation. When adding a member group using doxygen commmand \name and the multiline style special comments, also add a \brief command if there is no detailed documentation for the group. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fee0c077d5a0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 29 22:46:25 2009 +0200 Added string wrapping helper function to OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbd1c20c6192… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 18:37:57 2009 +0200 Moved changelogs and PostScript and PDF versions of the GPL to the `docs' subpackages. This saves considerable space on the live media. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ff53b922226… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 14:49:19 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f90de71c331… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 14:48:31 2009 +0200 Temporary workaround to force linking with C++. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9f5ad39c726… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 29 11:46:51 2009 +0200 Improved the OCaml interfacing of PPL dimensions and coefficients. Added new helper functions: - value_to_unsigned_native<U_Int> - ppl_dimension_to_value - value_to_ppl_dimension - mpz_ptr_val and mpz_class_val - build_ppl_Variable. Prefer using Val_emptylist to Val_int(0). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc202a760bf0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 08:48:27 2009 +0000 Disable these tests on the Alpha. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0c346c0b189… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 10:16:38 2009 +0200 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b4e36692e7ce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 29 09:29:37 2009 +0200 Try to accommodate more non-GNU implementations of `getopt()'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87fec489bde3… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 17:22:28 2009 +0100 Remove unimplemented and unused functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0183484758f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 20:33:52 2009 +0100 Try to accommodate non-GNU implementations of `getopt()'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=766fb040b2dc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 19:06:01 2009 +0100 Some systems do not have <strings.h>. On such systems ffs(3) may be defined in <string.h>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3549a048f066… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 17:41:03 2009 +0100 Done item removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d19855b90ca… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 17:39:32 2009 +0100 Change logs updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25a5069b820… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 16:55:39 2009 +0100 Improved the semantics of the --enable-watchdog configure option. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=949180cf4e6f… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 16:00:01 2009 +0100 Removed useless functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69a3679c7b12… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 16:07:29 2009 +0100 Fixed and reactivated test05(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00bcfa7ddc99… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 15:50:52 2009 +0100 Parameterized test05(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0cce78cf176b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 15:49:04 2009 +0100 Fixed indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d9ca69f6866… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 15:41:29 2009 +0100 These efficiency related FIXME's are not scheduled for 0.10.1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2630163750d7… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 15:37:39 2009 +0100 Documented ROUND_NOT_NEEDED FIXME. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b98bfa9b31c0… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 13:59:39 2009 +0100 Documented rational sqrt precision and implemented a more precise variant for numbers < 1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f162e13b13fe… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 14:51:46 2009 +0100 Avoid unrequested call to mpz_divisible_p. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3171fbf3b9f5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 14:26:13 2009 +0100 Uuse the PPL_CXX_*_BINARY_FORMAT macros. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c1d76485b200… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 12:03:26 2009 +0100 Disabled failing test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b00d3c837935… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 28 11:44:33 2009 +0100 Avoid abuse of mpz_divexact. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7378097108a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 08:11:24 2009 +0100 Tweak for MinGW. Force the use of the C++ compiler for linking. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19e1f7c6bb2e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 08:10:18 2009 +0100 Include <stdlib.h> instead of <malloc.h>. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab28235b8955… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 07:46:21 2009 +0100 Allow testing under MinGW. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3bfcc98175a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 28 07:45:04 2009 +0100 Detect MinGW, defining the HOST_OS_MINGW Automake conditional. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af7c591b491f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 22:13:55 2009 +0100 The `ppl_lpsol' program can now be built and checked with cross-compilation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ddb928b1b124… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 21:52:40 2009 +0100 Minor code readability improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1335e6212c7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 21:06:22 2009 +0100 Comments improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0316d45f420… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Mar 27 19:50:25 2009 +0100 A couple of minor corrections. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c54369ebf2a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Mar 27 18:54:57 2009 +0100 Fixed parameter name. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94987fdd7ee4… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Mar 27 18:51:30 2009 +0100 Moved ppl_io_wrap_string documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16d6cc4da3ab… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 18:35:09 2009 +0100 Man pages updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6903cbf2427c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 18:34:15 2009 +0100 The `ppl_lcdd' program can now be built and checked with cross-compilation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4bbd3ca34d38… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Mar 27 17:22:08 2009 +0100 Get rid of pretty_printing stuff. A string wrapping function is made available. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa1972cb6abf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 11:28:07 2009 +0100 Change logs covering the changes made in the CVS repository in 2009. They will be replaced by up-to-date change logs obtained from git. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=503eeb479230… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 11:24:48 2009 +0100 Renamed and frozen: the ChangeLog-2001-2008 should never be changed again. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=586008d48662… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 11:12:06 2009 +0100 Updated to 2008-12-31. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3002c4b2dc9… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Fri Mar 27 08:56:44 2009 +0100 Fixed make check. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9c0ee2e5e9d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 09:25:46 2009 +0100 Missing else branch added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=099b4c25383b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 08:41:52 2009 +0100 ascii_load() methods now perform more stringent checks on the input. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c010978f5fdf… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 08:40:58 2009 +0100 Spurious spaces removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e10cf3cc88c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 07:30:04 2009 +0100 Spurious spaces removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=484c87d20600… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 27 07:27:54 2009 +0100 Fixed the formatting of do-while loops. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4779b8e17b6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 26 17:53:33 2009 +0100 Added several missing functions to the OCaml interface. Minor corrections to the documentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=778dfb88238c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Mar 26 14:08:01 2009 +0100 Fixed several garbage collecting issues in the OCaml interface. - Helper functions returning OCaml value types that have not been registered yet with the garbage collector are now named unregistered_value_p_*; - Added appropriate calls to CAMLlocal* macros where appropriate; - Use the safe Store_field(a, b, c) instead of the unsafe Field(a, b) = c. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30b4d085cb44… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Mar 26 12:37:31 2009 +0100 Tests have to be done unconditionally. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10dc3fd3600d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 26 12:31:24 2009 +0000 Report on two bugs fixed in the OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aadc083b812f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Mar 26 10:44:57 2009 +0000 Fixed a bug where the tokens for widening were not being updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7a1579dbd0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 26 08:25:02 2009 +0100 Support systems that do not define `siginfo_t'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7252a07fd2e3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 26 08:15:46 2009 +0100 Added checks for the availability of `siginfo_t'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=639591e6c8d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Mar 26 07:33:27 2009 +0100 We can infer the possibility to control the CPU even when cross-compiling. This happens (at least) on i386 and sparc (provided we have <ieeefp.h>). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66947e998961… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Mar 25 22:51:48 2009 +0100 Better parameters for formatted output. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4848cee2d85… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 22:02:21 2009 +0100 Properly use PPL_FPMATH_MAY_USE_387 and PPL_FPMATH_MAY_USE_SSE. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8777ff8bbf8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 22:01:12 2009 +0100 Depend on PPL_CAN_CONTROL_FPU. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=927cd666b49d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 21:17:32 2009 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3ec0c11d9d4… Merge: b5d7b09c10aea7c95b9d2693986e2e4e549d3a12 9b4763ae59534ca77dcc7ff1067f9f78c9a20c5a Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 21:06:14 2009 +0100 Merge branch 'master' of ssh://bagnara@git.cs.unipr.it/git/ppl/ppl URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5d7b09c10ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 21:06:01 2009 +0100 Do not enable the Prolog interfaces by default in the release tarballs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b4763ae5953… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Mar 25 16:49:03 2009 +0000 Disable more tests that fail on the Alpha due to a GCC bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a1cc339eb31… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Mar 25 16:52:54 2009 +0100 Implemented Octagonal_Shape::simplify_using_context_assign(). The efficiency of the method needs improving. Added a few tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a73972ad2e6… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 25 14:09:14 2009 +0000 TODO item - Check the configuration dependent documentation for Prolog, done and removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bd3d1d46d8b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Mar 25 12:43:32 2009 +0000 Where the result type is unit, the type returned by C++ must be a CAMLprim value type and not a void. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1769386d0c8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 21:56:05 2009 +0000 Exception handling is broken in GCC on the Alpha: commented out some tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=afbc4e301440… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 20:39:18 2009 +0100 Reduced DIMENSION to 100. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17dae899576e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 19:19:34 2009 +0100 Improved the actions of AC_RUN_IFELSE when cross-compiling. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5b11a1675a7e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 24 19:13:41 2009 +0100 Fixed file names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7edf860af05… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 24 16:42:03 2009 +0100 Mention the bug corrected for method Octagonal_Shape<T>::affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d073548700ce… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 24 12:07:23 2009 +0100 Fixed comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=be1e8179983e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 24 12:00:37 2009 +0100 Fixed indentation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d81e9642493f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 24 11:10:57 2009 +0100 Corrected bug affecting method Octagonal_Shape::affine_image(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52d75eceb14d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Mar 24 11:09:17 2009 +0100 Cleaned C streams implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9d1163ad3ea3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Mar 24 11:01:04 2009 +0100 Test test17() shows a bug in method Octagonal_Shape::affine_image(). The bug is triggered when the affine image is of the form var -> var + n and the octagonal shape has constraints relating var with another space dimension having index smaller than var. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61f6bc80eab3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 10:10:06 2009 +0100 Explained the `--disable-ppl_lcdd' and `--disable-ppl_lcdd' configure options. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fd46630c12… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 09:28:03 2009 +0100 There are no GNU Prolog packages available on ia64: disable the GNU Prolog interface also on those platforms (besides ppc64, s390 and s390x). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0af6517d2c26… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 09:20:38 2009 +0100 Synchronized with the Fedora repository. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62138fd38306… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Mar 24 07:19:25 2009 +0100 Added some more infrastructure. Variables renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=09c6fe37dac8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 22:29:56 2009 +0100 Build restored. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bace9caed4ba… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 22:16:56 2009 +0100 Added repeated char for left and right margin. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d810281e8e84… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 21:23:30 2009 +0100 Some fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b0fdf18dcd8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 21:09:10 2009 +0100 Done some cleaning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52f81f97569a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 20:54:14 2009 +0100 Started the installation of the new formatted output machinery. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e9f3b8841034… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 19:52:37 2009 +0100 Better name. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b1464817aa9… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 19:42:46 2009 +0100 Bug fix: ostringstream.str() returns a temporary. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a0fee1d5a9a… Author: Enea Zaffanella <zaffanella(a)spartacus.cs.unipr.it> Date: Mon Mar 23 19:34:06 2009 +0100 Added a test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec4555a8ed0… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 18:47:11 2009 +0100 Separated wrap before from wrap after. Bug fixes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53abf6dadb12… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 18:39:21 2009 +0100 Readability improvements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a076d885da5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 18:30:42 2009 +0100 Fixed a bug (that is inconsequential for the current code base). We were using `m % 2 == 1' instead of `m % 2 != 0', with `m' a signed number that could be negative. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2930f4ba276a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 15:34:44 2009 +0100 Added ppl_io_ostream_buffer_clear function. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfdb1368ab60… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 15:30:14 2009 +0100 Added write functions for native types. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2689413bfc1a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Mar 23 15:07:06 2009 +0100 Added filtered streams. Implemented format filter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0630b87d1f3… Author: Enea Zaffanella <zaffanella(a)spartacus.cs.unipr.it> Date: Mon Mar 23 14:42:19 2009 +0100 Add dependencies between HTML manuals for parallel builds. The distributed built HTML manuals logically depend on the built tag file, which is not distributed; hence a direct dependency cannot be added (it would break a `make distcheck' check). As a workaround, they now depend on the core HTML manual, which is built _and_ distributed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0236c7c508e7… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 14:20:57 2009 +0100 Obsolete FIXME removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca5e2908ccb9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Mar 23 14:19:49 2009 +0100 Little formatting improvement. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2b5e3f20ae7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Mar 23 08:21:36 2009 +0100 Use consistent parameter names in helper function wrap. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f006fdff891… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 22:35:35 2009 +0100 Updated to reflect the new way `ppl_lpsol' is invoked. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d567481d9369… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 22:01:47 2009 +0100 Tightened the machinery used to generate the configuration headers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=19f0a1a2a915… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 19:05:01 2009 +0100 Added a test for operator-(var, expr) and operator-(expr, var). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27265c8661e2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 19:38:01 2009 +0100 Improved functions and methods to build linear expressions. Avoid complex inline functions and methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1491112a5977… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 17:47:33 2009 +0100 Three FIXMEs related to Linear_Expression resolved. The three operators are now friend of Linear_Expression: hence they can use the sizing constructors and limit the use of short-lived temporaries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=019b1eb83a88… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 13:54:28 2009 +0100 Dealt with a FIXME related to variable names. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb448212741b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 12:21:32 2009 +0100 FIXME resolved. Fixed a bug in Linear_Expression(Variable v, Variable w). The bug would cause a wrong result to be computed when v == w. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c6e39bd54c85… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 11:27:36 2009 +0100 Mention the bug fixed with Commit: 6a6734db48e2ca605dfc27ce5f1a923eb867ed25 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a6734db48e2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Mar 22 11:08:55 2009 +0100 Corrected a bug in the interfacing of drop_disjunct for Java, Ocaml and Prolog. Also corrected a wrong test in the automatically generated test suite for the OCaml interface: we were trying to decrement an iterator pointing to the start of the sequence of disjuncts. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=364ccfa621c7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 12:21:34 2009 +0100 Reworded misleading comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db916e5a5641… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 10:33:41 2009 +0100 Test program renamed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d2ff0ac21371… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 10:14:27 2009 +0100 Rewritted test01(). Added test02(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e49e1cd77e70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 22 09:28:36 2009 +0100 New machinery to create ppl-config.h and pwl-config.h. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=471e611fbf18… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 21:55:46 2009 +0100 Destructor of abstract class Write_Function has to be virtual. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9d0b1a6a924… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 21:35:36 2009 +0100 Added the new pretty print functionality to Java, OCaml and Prolog interfaces. The predicate takes 3 arguments for specifying preferred wrapping behavior. For Prolog, new predicate is called ppl_CLASS_pretty_print_to_atom/5 and put the result in the last argument as an atom. For Java, method takes a Writer as the first argument. For Caml, function ppl_CLASS_pretty_print returns a caml string. While at it, also added missing ascii_dump method to Caml and Java interfaces, as well as for the MIP_Problem Prolog interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aca3e12a7959… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 21:36:38 2009 +0100 Added a new helper function for the wrapping of lines. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=34bdedf29027… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 19:58:52 2009 +0100 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a4e6716e622… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 19:58:13 2009 +0100 The C interface now provides functions of the form int ppl_io_asprint_Polyhedron(char** strp, P x) where `P' is any opaque pointer to a const PPL object. These functions print `x' to a malloc-allocated string, a pointer to which is returned via `strp'. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f62fe5b7218… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 15:28:10 2009 +0100 Selected the items that should be done for 0.10.1: postponed the others. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4280bc6f3e28… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 15:26:09 2009 +0100 Two non-urgent FIXMEs better documented. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8764c47130fd… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 21 12:17:48 2009 +0100 Added callback based streambufs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23ddce212614… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Mar 21 12:07:27 2009 +0100 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3f1a2c86b6d0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 11:39:25 2009 +0100 Minimum Autoconf version brought back to 2.61. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ea6344b733e9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 10:05:00 2009 +0100 Added files pretty_print.*. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97b46d107afc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Mar 21 09:56:18 2009 +0100 pretty_print.* contain helper datatypes and functions for pretty printing. Template functions pretty_print and c_pretty_print provide wrapped output using a Write_Function object to write to destination. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b8cc466f361… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 10:26:08 2009 +0100 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7fb1df3a61d5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 21 09:00:57 2009 +0100 Got rid of AX_PREFIX_CONFIG_H. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4052950058d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 20 16:14:01 2009 +0100 Pattern `*~' added. Patterns sorted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbad48d8d997… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 20 16:11:18 2009 +0100 Avoid using obsolete Autoconf macros. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b1eb0199360… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Mar 20 15:32:51 2009 +0100 AC_RUN_IFELSE invocations now have a safe action for cross-compiling. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6dd8e30b3647… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Feb 22 15:37:50 2009 +0100 Replaced .cvsignore with .gitignore. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5d5b381ec4e… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Feb 21 13:58:22 2009 +0000 Added missing files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b77133c28702… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Feb 21 13:54:36 2009 +0000 Added other patterns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=949294d552a5… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Feb 21 10:47:15 2009 +0000 Added common ignored patterns. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f830bec2d505… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sat Feb 21 10:30:17 2009 +0000 Commented out dangerous entries. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e439fffcec2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 18 22:30:26 2009 +0000 Install the documentation according to the Fedora packaging conventions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e5a55a3340b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 18 22:28:59 2009 +0000 Put under CVS control. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=706f7f1cef45… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 18 19:42:34 2009 +0000 Implemented a better workaround for the bug affecting PPL 0.10 on big-endian architectures. There are no GNU Prolog packages available on s390 and s390: disable the GNU Prolog interface also on those platforms (besides ppc64). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=641441b76887… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 17 06:19:31 2009 +0000 Avoid using GNU Make extensions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8fed9132c7d9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 17 06:19:13 2009 +0000 Two FIXMEs resolved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c43db798115a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Feb 16 21:57:54 2009 +0000 Include "ppl_header.hh" instead of "ppl.hh": this greatly facilitates debugging of test programs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f061cbab4d2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 14:52:22 2009 +0000 In ppl_include_files.hh only list the include files that are not included by any other include file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=882375404c40… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 14:14:06 2009 +0000 Added missing inclusions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b87265aa362… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 13:32:28 2009 +0000 Include "compiler.hh" in fpu.defs.hh, not in fpu-ia32.inlines.hh. As a general rule, do not include general-purpose include files in files that are only conditionally included. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aab8b052bb21… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 13:28:22 2009 +0000 Added missing control operator. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=783b14fc7223… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 13:13:12 2009 +0000 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=159d03ea1bdb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 13:11:58 2009 +0000 Include "Partially_Reduced_Product.templates.hh". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b824633d270… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 10:40:16 2009 +0000 Check for the availability of `fgrep' or its Posix replacement `grep -F'. Always use $(FGREP) or $(EGREP) in makefiles. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ae9df8ed4e5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Feb 15 07:54:15 2009 +0000 Added guards against multiple inclusion. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae2a9df47342… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Feb 4 07:47:59 2009 +0000 Work around the bug affecting the library on big-endian architectures. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5bfa601ac003… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 3 19:34:04 2009 +0000 Work around the bug affecting PPL 0.10 on big-endian architectures. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8328febe7a98… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Feb 2 08:28:25 2009 +0000 Improved the code for handling 0-dim empty polyhedra for Grid::simplify_using_context_assign(). Added a further test for the 0-dim polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3669508cfb41… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 2 08:27:54 2009 +0000 Corrected a bug in methods add(_recycled)_generator(s) and simplify_using_context_assign whereby an assertion could have failed under very specific conditions (zero-dim empty polyhedron with a computed inconsistent constraint system becoming a zero-dim universe polyhedron). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4ac1b669def… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Feb 2 08:24:18 2009 +0000 New tests show an assertion failure when adding the vector space origin to an empty zero-dim space polyhedron, thereby turning it into a zero-dim universe polyhedron. The assertion only fails if the inconsistent constraint system of the empty polyhedron was previously generated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f93c9139b52f… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Feb 2 08:01:02 2009 +0000 Added three further tests to cover all 0-dim cases. Reordered tests so that all the 0-dim tests are consecutive (11-15). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c3efdf6ebfe… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Feb 2 07:39:07 2009 +0000 Added test that has an assertion failure for 0-dim empty polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aee22f375657… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Sun Feb 1 21:14:09 2009 +0000 Tests for simplify_using_context_assign() for Grids. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb110a1a68b0… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Sun Feb 1 21:09:39 2009 +0000 Added code for simplify_using_context_assign() for Grids. Some other bugs in the comments fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=956f46586d28… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jan 30 11:24:28 2009 +0000 The parallel build problem should now be solved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d329e7a8cc0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 28 13:00:25 2009 +0000 Added test file for method Box::simplify_using_cntext_assign(). Tests test01() and test02() marked as failing, since they depend on method Interval::empty_intersection_assign(), currently provided with a dummy implementation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d030f674726a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 28 12:56:51 2009 +0000 Drafted an implementation for Box::simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f353ebfefb7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 28 12:56:09 2009 +0000 Added dummy implementation for method empty_intersection_assign(); corrected partial implementation of method simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c09c0551c019… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 28 09:11:38 2009 +0000 Added specification for new Interval method template <typename From> typename Enable_If<Is_Interval<From>::value, void>::type empty_intersection_assign(const From& y); to be used in the implementation of Box::simplify_using_context_assign. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8745ccc5672b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 27 20:25:27 2009 +0000 Partially work around a bug of AX_PREFIX_CONFIG_H whereby WORDS_BIGENDIAN is not prefixed. Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2fb4e80b6ed0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 27 13:54:31 2009 +0000 Drafted a partial implementation for simplify_using_context_assign(); it assumes that the interval is toplogically closed and with no restrictions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2af70878b426… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 27 11:46:22 2009 +0000 Added one urgent item. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbd07c9594c1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 15:12:06 2009 +0000 Test 01 overflows when using 8bit coefficients and assertions are turned on. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97b5b3a040c8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 11:26:15 2009 +0000 Switch to new implementation of poly_hull_assign_if_exact(), based on the results stated in BagnaraHZ09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a91464e27d53… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 10:56:21 2009 +0000 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c285d01a7c0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 10:55:55 2009 +0000 Support more versions of GLPK. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23daa5e63ae6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Jan 26 10:25:04 2009 +0000 Fixed copy-and-paste mistake. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=368f5e5a779c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 09:42:52 2009 +0000 Added tests corresponding to examples in BHZ09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41e4380ed5d9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 09:42:12 2009 +0000 Added a new test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23c4d6c2ef92… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 09:39:41 2009 +0000 Added implementation of the BHZ09 exact upper bound test for NNC polyhedra; Factored out those parts that are common to the C polyhedron case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a34b20c8f191… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 26 09:36:59 2009 +0000 Added declarations for two non-public methods (one for the C and another for the NNC case) implementing exact upper bound tests using BHZ09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9452111b9ab9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 24 16:22:16 2009 +0000 Wording improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=453bbf448145… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jan 24 14:09:38 2009 +0000 The configuration script now explicitly checks that a recent enough version of GNU M4 is available if at least one non-C++ interface is enabled (in previous versions this check was not performed and building the library could fail in a mysterious way). That version is then used in all makefiles. (Thanks to Tobias Grosser.) Improved configure.ac in various places. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e948648ff85… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 23 21:13:13 2009 +0000 New configuration option `--with-mlgmp=DIR' allows to specify the installation directory of the ML GMP package. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92391be07dce… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jan 23 12:30:54 2009 +0000 Added missing const qualifier. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f3a2ba15b37… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Jan 21 08:36:24 2009 +0000 Corrected so as to behave correctly when using parallel builds: the build of <file>.cmx also generates <file>.o, which is a dependency for the generation of *.a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a8de4425a1c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jan 20 17:56:57 2009 +0000 Fixed glpk_message_interceptor() (thanks to Kenneth MacKenzie). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b902dcf40be… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 20 17:27:04 2009 +0000 Added test on (higher dimensional) hypercubes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=90bdc1b020ed… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 20 17:21:54 2009 +0000 The code fo rthe detection of non-redundant octagonal constraints factored out of the strong reduction assign method into the new private method non_redundant_matrix_entries(), so that it can be reused in other contexts. In particular, now we also use it in the implementation of upper_bound_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3012c5edf500… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 20 17:14:20 2009 +0000 Declared a new (private) method that is meant to identify the non-redundant octagonal constraints without actually computing a strongly reduced matrix. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=018e1ebb3a93… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 20 09:00:37 2009 +0000 Added a test on hypercubes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=684d5503b916… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 20 08:59:23 2009 +0000 Method BHZ09_upper_bound_assign_if_exact() improved by exploiting shortest path reduction so as to avoid checks on redundant constraints. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=293651a6e9a3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Jan 19 13:40:05 2009 +0000 Added another test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=27903c163857… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jan 18 13:18:59 2009 +0000 Added one important item for next release. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4b293a80d63… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 18 11:55:29 2009 +0000 Tests 1, 3, 4, 9 and 10 now succeeds. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d9fe1178beab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jan 18 11:54:08 2009 +0000 Drafted an implementation of Octagonal_Shape::upper_bound_assign_if_exact() based on the corresponding theorem in BagnaraHZ09. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55ab00a9233d… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Jan 16 11:04:05 2009 +0000 test10() revised. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cc7e7301c5d… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Jan 16 10:42:30 2009 +0000 Added a test file for the upper_bound_if_exact() method - copied (with obvious edits) from the BD_Shape test directory. As the current implementation just returns false, tests that would be expected to succeed have the "_F" tag. An additional test10 is an example showing that more conditions are needed for octagonal shapes compared to the bd shapes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e2f39280550… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 13 08:52:01 2009 +0000 Test test09 no longer fails. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02827b581804… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Jan 13 08:49:01 2009 +0000 Corrected implementation of BHZ09_upper_bound_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9315eeb744a2… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Jan 12 08:50:12 2009 +0000 Added a test showing a bug in the new algorithm. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff468cf155a3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Jan 8 14:47:33 2009 +0000 Drafted an implementation for BHZ09_upper_bound_assign_if_exact(); the public method upper_bound_assign_if_exact() is now based on this new (private) method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=882cab5d7059… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Dec 31 22:35:09 2008 +0000 Copyright years extended. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b15d3791b1b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 29 13:36:40 2008 +0000 New test added. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=804bb845cbca… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Dec 23 18:30:32 2008 +0000 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28a729865709… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Dec 23 11:22:32 2008 +0000 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72f7ce8f8ca4… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Dec 23 10:41:49 2008 +0000 Added missing const_cast. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7eaa505adee1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Dec 22 11:14:57 2008 +0000 Added declarations for methods lower_approximation_difference_assign() and simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=303bc83da918… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Mon Dec 22 09:55:15 2008 +0000 Simplified (and hopefully fixed) can_be_exactly_joined logics. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=880f96e5c4bb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Dec 22 09:36:59 2008 +0000 Method upper_bound_assign_if_exact() corrected and its efficiency improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd3dc869c021… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Dec 22 09:31:30 2008 +0000 Adapted to test the method on the Box domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=026a0d1500a1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Dec 21 15:04:14 2008 +0000 New implementation of method Box::upper_bound_assign_if_exact(const Box&). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b44244a649d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Dec 18 10:39:05 2008 +0000 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15cac1db9665… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Dec 18 08:55:59 2008 +0000 Added several missing try { ... } CATCH_ALL blocks. Now all interfaced functions should be able to translate any C++ exception into a Java exception. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6293d32d8f15… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Dec 18 08:53:57 2008 +0000 The CATCH_ALL macro should not end with a semicolon. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3de56c1ce356… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Dec 18 08:52:05 2008 +0000 Added a newline for readability. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0032423eb64c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 17:10:56 2008 +0000 Corrected a typo in the naming of a parameter. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1afb630744c1… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 16:21:13 2008 +0000 Added test for method BD_Shape<T>::simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=590756fe3a59… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 16:20:16 2008 +0000 Drafted an implementation for simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b81d68c1a25a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 12:01:36 2008 +0000 Method BFT00_poly_hull_assign_if_exact() is only correct for closed polyhedra: added an assertion and adapted comments. Added draft implementation for new method BHZ09_poly_hull_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd3612d6b352… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 11:54:20 2008 +0000 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9afcd1ae6acc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 11:53:46 2008 +0000 Corrected the specification of method BFT00__poly_hull_assign_if_exact: the method is only correct for closed polyhedra. Added declaration for another (protected) method that will be based on an alternative algorithm (named BHZ09_poly_hull_assign_if_exact). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8dff6ceac56… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Dec 17 11:49:44 2008 +0000 Added a naive, inefficient implementation for method set_until. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3386f8fdcd59… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 13 10:28:10 2008 +0000 Added missing inclusions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b8f76c33f8a1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 5 06:52:13 2008 +0000 Added `%dir %{_datadir}/doc/pwl' to the `%files' section of the `ppl-pwl' package. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60f4d18188b1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 1 17:06:45 2008 +0000 Dealt with several false-alarm warnings about possibly uninitialized variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce05280661d1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Dec 1 16:29:39 2008 +0000 Fixed the definition of BUILD_OCAML_INTERFACE. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=23b3db01f9f7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Dec 1 10:25:06 2008 +0000 Restored old implementation of method poly_hull_assign_if_exact(), as the algorithm in BFT00TR does not generalizes as is to the NNC case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ed3bda256ce0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Dec 1 10:02:32 2008 +0000 Added another test, showing that the algorithm in BFT00 can not be extented as is to NNC polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d87ccf0b547a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 30 20:13:26 2008 +0000 Postpone the AC_LIB_RPATH test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8151b6f7b651… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 30 07:48:38 2008 +0000 Removed "AC_SUBST([docdir], ['${datadir}/doc/ppl'])": given that we require Autoconf 2.60 or later version, this was redundant. Moreover, it did not allow to use the `--docdir' configure option. (Thanks to Mike Frysinger.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21f1f6fa0965… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 27 17:02:17 2008 +0000 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84e363c190b2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Nov 26 17:19:12 2008 +0000 Wrong comment deleted. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2de90ed05d88… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 26 17:12:01 2008 +0000 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2980014ffee3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 19:57:03 2008 +0000 Test file bgp99extrapolation1.cc splitted in two: old test02 goes in file bgp99extrapoaltion2.cc and is now specialized to C and NNC cases, so as to allow a finer control of the expected overflows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84fa17e86559… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 19:36:19 2008 +0000 test09() triggers an overflow when using on 8-bit checked integers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59d369faea39… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 14:38:47 2008 +0000 Drafted an implementation of method BD_Shape::upper_bound_assign_if_exact(), based on Algorithm 4.1 in BemporadFT00TR (tailored to BD shapes). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8be877ec2124… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 14:36:27 2008 +0000 Added a few tests for BD_Shape::upper_bound_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dd8b52ca253… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 08:17:23 2008 +0000 Prefer Bit_Row::empty() to Bit_Row::count_ones() when testing for emptiness. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d739ceb0e35… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 08:15:31 2008 +0000 Fixed comment for Box::simplify_using_context_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=194cc738d52a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 08:14:32 2008 +0000 Indentation fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ef1ec9909564… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 08:13:13 2008 +0000 Drafted implementation for incremental_shortest_path_closure_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5593c780b521… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 08:12:20 2008 +0000 Useless test for zero-dim removed from incremental_strong_closure_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=386116c984ef… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 08:08:56 2008 +0000 Improved the documentation of the incremental strong closure private method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=042c23f5da0d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 08:06:00 2008 +0000 Declared a private method for incremental shortest-path closure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba169fe04876… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 25 07:30:24 2008 +0000 test03() no longer overflows on 8-bit checked integer coefficients. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c923989ed19… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 24 20:27:48 2008 +0000 Fixed Bit_Row::count_ones(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=378fe2c7454e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 24 17:12:23 2008 +0000 Tests that are specific for NNC_Polyhedron placed in a separate file, for which we do not produce the derived nnc test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccae0adca6b3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 24 17:01:42 2008 +0000 Added a few tests that are specific for the NNC_Polyhedron case. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f1b0376ba8b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 24 17:00:42 2008 +0000 Method NNC_Polyhedron::poly_hull_assign_if_exact() is now implemented using Polyhedron::BFT00_poly_hull_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e3f815b581a7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 24 16:59:15 2008 +0000 Implementation of BFT00_poly_hull_assign_if_exact() generalized so as to correctly deal with the case of NNC polyhedra. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e1fd82d373c… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Nov 24 14:34:33 2008 +0000 Unwanted code removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=841503456bb8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 24 11:07:42 2008 +0000 Method C_Polyhedron::poly_hull_assign_if_exact() is now implemented using Polyhedron::BFT00_poly_hull_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a5d2d73d3321… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 24 11:05:34 2008 +0000 Added protected method BFT00_poly_hull_assign_if_exact(), implementing (a variant of) an algorithm for the recognition of convex unions originally proposed by Bemporad, Fukuda and Torrisi in 2000. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=00ed5c1efbba… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 24 10:41:23 2008 +0000 Added tests for method poly_hull_assign_if_exact(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=253382692821… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Nov 24 09:23:31 2008 +0000 The implementation of the Box from Grid constructor has been modified to use Grid::maximize() to check if a dimension is bounded and no longer needs Grid_Generator to declare the Box class as a friend. The FIXME(0.10.1) wrt this has been removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7ce6bdec355… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Nov 24 08:37:01 2008 +0000 Report bug fix corrected in previous commit. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96b2c4a6e608… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Nov 24 08:36:06 2008 +0000 Corrected private method bounds() whereby it did not correctly deal with the case when the grid generators were up-to-date but not minimized. This corrects the bugs shown in the previous commit. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ef47e236733… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Mon Nov 24 08:34:00 2008 +0000 Tests added that show a bug in bounds_from_above(), bounds_from_below(), maximize(), and minimize() in the Grids class. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a470533e7db… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Sat Nov 22 12:13:38 2008 +0000 When building from another product with different component domains and/or reduction operator, allow for any component domains and in any order. When building a product always check the space dimensions are no more than max_space_dimensions(). Correct some comments in the Partially_Reduced_Product.defs.hh. A few tests added to test these code changes. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bef63e6f08d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Nov 22 09:48:32 2008 +0000 Removed some commented out, useless code (it was the result of cut&paste from another test). Added known result for test01 and check against it. Renumbered tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efccc2cf9f6a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Nov 21 21:51:24 2008 +0000 Also set nodist_ppl_ocaml_generated_test_opt_SOURCES. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b73095cbfc77… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Nov 21 09:22:48 2008 +0000 Let the stack size limit for native compilation be as generous as that for bytecode compilation. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10cae9e922a9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 20 21:35:43 2008 +0000 The OCaml interface now supports compilation to native code. Also mentioned in the NEWS the correction of an OCaml interface bug. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b71b7f575b7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 20 21:28:05 2008 +0000 Added a few lines explaining how to use the OCaml interface with the native compiler ocamlopt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6c20e0fdb005… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 20 21:24:17 2008 +0000 List libppl_ocaml.a in variable pkglib_LIBRARIES (removing it from variables noinst_LIBRARIES and ocaml_DATA). When building the native OCaml interface, do generate, install and clean the library file ppl_ocaml.a. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2eddf5ba017f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 20 20:02:57 2008 +0000 Avoid using OCaml (bytecode/native) compiler option -g. Do also clean *.o files generated by ocamlopt. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0fd077d2d24… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 20 16:22:38 2008 +0000 Two bogus TODOs changed into (urgent) FIXMEs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b4f4c55149a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 20 13:02:10 2008 +0000 Build and run the bytecode/native OCaml tests depending on the availability of the bytecode/native OCaml compilers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7feaaa5706f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 20 13:00:28 2008 +0000 Build the bytecode/native OCaml interfaces depending on the availability of the bytecode/native OCaml compilers (and corresponding mlgmp libraries). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8019b41cee5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 20 12:57:52 2008 +0000 Corrected a bug in the code for the OCaml function ppl_Grid_generalized_affine_(pre)image_with_congruence; also corrected corresponding test. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=635ff9fdca0f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Thu Nov 20 12:53:04 2008 +0000 Check whether or not the OCaml native compiler ocamlopt is available. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=facf1fcd16ef… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Thu Nov 20 12:24:03 2008 +0000 Avoid reducing the product where it is not essential. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e4b7c487571… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Thu Nov 20 07:53:34 2008 +0000 Added a note concerning the correction of a bug in the Partially_Reduced_Product<>::time_elapse_assign(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b023a9e044e0… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Thu Nov 20 07:40:39 2008 +0000 In the time_elapse, both components must be reduced before doing the operation. The clear_reduced_flag() after the operation removed and the tagged FIXME removed. Test added showing an example that is only correct if the second component is also reduced. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0de332bf5cda… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 19 21:19:11 2008 +0000 Added several new items. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ad34cb227ff… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Wed Nov 19 20:58:56 2008 +0000 Restored the clear_reduced_flag() for the time_elapse_assign. FIXME also restored as this still needs checking. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=488dba343c5d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Nov 19 19:28:18 2008 +0000 Added missing verb in comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a3e5b799f0f5… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Wed Nov 19 09:46:50 2008 +0000 Several tagged FIXME's removed. CHECKME Comment for the widening operation modified to confirm that this _is_ a widening for the products as provided here. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40e30cb87ce1… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Wed Nov 19 07:26:47 2008 +0000 Removed previously added reduction method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0b9625a497f… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Nov 18 14:53:00 2008 +0000 Added a reduction method Shrink_Using_Congruences_Reduction<> and the product Shrink_Using_Congruences_Product<> that assumes this reduction. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6cb253dc62d8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 18 13:27:22 2008 +0000 Mention bug fix for Polyhedron::contains_integer_point(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87f3fa978db5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 18 13:25:40 2008 +0000 Added a couple of comments regarding the recently corrected bug in contains_integer_point(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d57dbde1689f… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Nov 18 12:49:52 2008 +0000 Corrected some m4 code that resulted in wrongly named test predicates. Corrected expected answers for tests that checked properties such as "is_empty()". Added tests for the contains_integer_point() for the Pointset_Powerset domain. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52e651329904… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Nov 18 12:47:25 2008 +0000 Several bugs in code for contains_integer_point() fixed. Added new tests that showed the bugs. Uncommented some tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2a68c5d90e95… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Nov 18 07:40:19 2008 +0000 Corrected typo in comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03f89005cb7f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 17 16:57:47 2008 +0000 Recorded the fix solving the `make check' problem when the `--disable-watchdog' configure option is used. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc774d969e60… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 17 16:43:00 2008 +0000 The sources for test memory1 should be distributed unconditionally (i.e., even when valgrind tests are disabled). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61a4297ec760… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 17 16:41:25 2008 +0000 Test mipproblem2 should be built iff the watchdog library is enabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a61ec6dd8221… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Sun Nov 16 20:57:43 2008 +0000 Typo fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf988e99b50d… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Nov 14 11:16:02 2008 +0000 Completed a reorganization of the tests for the Powerset domains. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b0739453462… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 12 19:39:01 2008 +0000 On Darwin, avoid the `-module' Libtool flag for building the `libppl_java' library. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7fcaf4f28a4… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 12 16:57:22 2008 +0000 Wrong file names fixed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d5bbbf58a94… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Wed Nov 12 09:05:41 2008 +0000 Started reorganising the tests for the powerset domains and moving all tests on the powersets into the Powerset directory URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a10f1cae5588… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 11 17:04:01 2008 +0000 Added a reference to a bug report against Fedora's `pl' package. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ac4444cc8a6… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Nov 11 08:40:51 2008 +0000 Removed the STRONG_REDUCTION macro and added comments where the code implements the extra reduction needed for the strong minimal form. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53ee54835082… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Tue Nov 11 06:47:49 2008 +0000 Improved handling of the patterns with a consequential improvement to the speed of the m4 processing of the interface files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d92c57de937… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 10 20:02:52 2008 +0000 DIRTY_TEMP* macros renamed with the "PPL_" prefix. A couple of other improvements related to the proper use of Coefficient objects. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=434d1811110c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 10 18:56:45 2008 +0000 Use PPL_DIRTY_TEMP_COEFFICIENT whenever possible. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f95c0e4906a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 10 18:21:59 2008 +0000 Corrected typo in a comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e07929e9cde… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Mon Nov 10 18:21:16 2008 +0000 Small correction. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92789b5166b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 10 17:26:22 2008 +0000 Macro PPL_DIRTY_TEMP_COEFFICIENT properly commented. Notice that this is now part of the C++ interface, hence its introduction is mentioned in the NEWS file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4ba751cb43e9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 10 07:47:04 2008 +0000 Macro TEMP_INTEGER renamed PPL_DIRTY_TEMP_COEFFICIENT. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93e2b5aa5f43… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Nov 10 06:04:29 2008 +0000 Macro COPY_GMP renamed PPL_MATCH_GMP_GCDEXT and undefined after use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=395bae940b85… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 20:17:06 2008 +0000 COND* macros renamed with the "PPL_" prefix and undefined after their use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=135ce7d742ff… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 20:11:23 2008 +0000 NAN macro renamed with the "PPL_" prefix and undefined after its use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d2bd2b9746b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 19:49:23 2008 +0000 COMPILE_TIME_CHECK* macros renamed with the "PPL_" prefix and undefined at the end of the library's C++ interface header file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f200a86d1676… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 18:52:11 2008 +0000 The `nonconst' macro is now defined and undefined in a completely safe way. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d794a14afcc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 17:37:31 2008 +0000 Macros FPU_DOWNWARD, FPU_TONEAREST, FPU_TOWARDZERO and FPU_UPWARD renamed with the "PPL_" prefix and undefined after their use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=431dd27c5926… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 13:39:22 2008 +0000 ASSIGN* macros renamed with the "PPL_" prefix and undefined after their use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06f2ba88c10d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 13:27:43 2008 +0000 FUNCTION_CLASS macro renamed with the "PPL_" prefix and undefined after its use. Long source lines avoided. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c38c85a3fbc… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 11:52:11 2008 +0000 DEF_FUN* macros renamed with the "PPL_" prefix and undefined after their use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a30adc60889… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 11:43:05 2008 +0000 DEF_ASSIGN_* macros renamed with the "PPL_" prefix and undefined after their use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c65bfc03ce09… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 11:39:11 2008 +0000 SPECIALIZE_* macros renamed with the "PPL_" prefix and undefined at the end of the library's C++ interface header file. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74a13ba2c5bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 10:26:26 2008 +0000 Macro `safe_conversion' renamed `PPL_SAFE_CONVERSION' and #undef'ined after its use. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=813b19a6420d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 10:16:43 2008 +0000 Robustness has been improved. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ba3f0ab8e7c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 08:15:23 2008 +0000 Use std::numeric_limits<size_t>::max() instead of size_t(-1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b91465a5aae9… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 08:05:15 2008 +0000 Took into account that no checks for possible overflows are made in the implementation of new expressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb9bb9c8404c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Nov 9 07:32:16 2008 +0000 No longer use compute_capacity(dimension_type requested_size). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7ba481b9860e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 8 20:57:10 2008 +0000 No longer use compute_capacity(dimension_type requested_size), now removed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7bfa535bd0c6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Nov 8 19:54:47 2008 +0000 More FIXMEs tagged with "(0.10.1)". URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b707eba11cc… Author: Patricia M. Hill <hill(a)comp.leeds.ac.uk> Date: Fri Nov 7 15:04:54 2008 +0000 The core ppl_interface_generator_common.m4 file has been completely reorganised, macros improved and comments revised and added. Note that alternative patterns and replacements now have a simple _a_ or _b_ extension instead of _alt_ or _cppx_. To change the case of a word, use "!" instead of "L" or "U" before the pattern. The macros in the core file are organised into groups and a comment summarises the call structure between the groups. Each macro is labelled to indicate if it is used locally, just in this file but by a macro in another group, or if it is public and may be used by other code generating m4 files. Suggestions for further improving the macro descriptions are welcome. The complementary file ppl_interface_generator_common.m4_dat file that contains the common data and some macros for generating the basic class names, the patterns and their replacements is improved and some redundant things removed. Commenting is not improved but much of the structure here is simpler and existing comments provide a lot of information already. The changes to these files has meant that changes to all the m4 files in the interfaces directory was required. These changes seem to make the m4 generation slightly more efficient - but the improvement appears to be less that 10% and disappointing. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26d61a79034f… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 6 07:43:09 2008 +0000 Tagged the FIXMEs that should be fixed before the PPL 0.10.1 release. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33d2a50acb3d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Nov 6 07:21:16 2008 +0000 Use malloc(), realloc() and free() instead of operator new() and operator delete() to implement the replacement GMP allocation functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=758634de86d3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 5 21:14:03 2008 +0000 Use malloc(), realloc() and free() instead of operator new() and operator delete() to implement the replacement GMP allocation functions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=82c2eaa640db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 5 20:26:36 2008 +0000 Made `ppl_lpsol --help' and `ppl_lcdd --help' consistent. Man pages updated. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a511790e4d8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 5 18:53:57 2008 +0000 Added a section for 0.10.1. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=423e81079798… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 5 18:51:14 2008 +0000 Version number bumped. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=685241b0d27c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Nov 5 18:23:42 2008 +0000 Added \007 e \015. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=21b15d2b8909… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 5 18:23:17 2008 +0000 Stick to ASCII. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=847c1c8201e6… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Nov 5 18:22:47 2008 +0000 Add dirty_marker to DISTCLEANFILES. (Thanks to Michael Tautschnig for poiting this out.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dccc802a594… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Nov 5 18:18:07 2008 +0000 Print also the line number. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d9626614425… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Nov 5 18:17:24 2008 +0000 Doxygen configuration files are generated by the configure script, so that they don't have to be listed in EXTRA_DIST. (Thanks to Michael Tautschnig for pointing this out.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7de5ed20f438… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Nov 5 18:15:20 2008 +0000 Source file ppl-config.cc is generated by the configure script, hence it should not be distributed: list it in nodist_ppl_config_SOURCES. (Thanks to Michael Tautschnig for pointing out this problem.) URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b56dc08c4c5a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 4 17:18:41 2008 +0000 Fixed the requirements of the `ppl-java' package. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ed377604e54… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 4 14:21:00 2008 +0000 One-liner to print lines containing non-ASCII characters. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3808aa101bf2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 4 13:43:33 2008 +0000 Changelog updated. Added m4 >= 1.4.8 to build requirements. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a228b89d3b3… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 4 09:27:21 2008 +0000 Use ASCII only.

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 06 Apr '09

06 Apr '09

Module: ppl/ppl Branch: master Commit: 52d769bff2e50c45330bdca9a955e33c9526337e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=52d769bff2e5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 20:21:25 2009 +0200 Updated. --- ChangeLog | 477 ++++++++++++++++++++++++++++++++++++++++++++++++++++ Watchdog/ChangeLog | 32 ++++ 2 files changed, 509 insertions(+), 0 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=52d769bf…

1 0

[GIT] ppl/ppl(master): Machinery to generate ChangeLog adapted to Git.
by Roberto Bagnara 06 Apr '09

06 Apr '09

Module: ppl/ppl Branch: master Commit: b99a2467787d6aec0373aa32fa877db84e40dfe3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b99a2467787d… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 6 19:59:56 2009 +0200 Machinery to generate ChangeLog adapted to Git. This is still highly unsatisfactory, as it requires manual intervention. --- devtools/cvs2cl.pl | 3250 --------------------------------------------- devtools/git2cl | 372 ++++++ devtools/update_ChangeLog | 2 +- 3 files changed, 373 insertions(+), 3251 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b99a2467…

1 0

Re: [PPL-devel] make check fails on Freebsd in tests/Box/propagateconstraints2
by Roberto Bagnara 06 Apr '09

06 Apr '09

Tobias Grosser wrote: > Installed gcc34 also fails. I will now try gcc current. Hi Tobias, something strange is happening. And debugging cannot proceed unless we get access to a FreeBSD machine. I am thus downloading ftp://ftp.freebsd.org/pub/FreeBSD/releases/i386/ISO-IMAGES/7.1/7.1-RELEASE-… and will try installing it under VirtualBox. I hope this installation process will go smoothly, as I have very little time to devote to this activity (I hope to be able to do that in a couple of weeks). Meanwhile, I would not delay the release of PPL 0.10.1. Concerning GCC 4.4, be reassured that that failure has nothing to do with the PPL features actually used in Graphite. So, even if your observation witnesses a PPL bug, this does not affect GCC in any way. Cheers, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0