summaryrefslogtreecommitdiff
path: root/NEWS
AgeCommit message (Expand)AuthorFilesLines
2013-10-28Updated.Roberto Bagnara1-1/+3
2013-09-09Mention recently fixed Java interface bug.Enea Zaffanella1-0/+5
2013-04-04Updated.Roberto Bagnara1-0/+3
2013-01-01Extended copyright years.Roberto Bagnara1-1/+1
2012-08-30Updated news.Enea Zaffanella1-0/+8
2012-08-18Advertise the portability improvements.Roberto Bagnara1-0/+6
2012-08-08Added a few recent changes regarding the Java language interface.Enea Zaffanella1-0/+24
2012-06-27Improved section announcing sparse/dense row representation adoption.Enea Zaffanella1-8/+38
2012-06-27Updated.Roberto Bagnara1-1/+1
2012-06-21Updated.Roberto Bagnara1-10/+11
2012-06-20Mentioned a bug corrected.Enea Zaffanella1-0/+8
2012-05-18Mention a recently fixed bug in the PIP solver.Enea Zaffanella1-0/+23
2012-04-16Updated.Roberto Bagnara1-1/+4
2012-04-12Updated.Enea Zaffanella1-4/+6
2012-04-07Fixed a bug in the Prolog interface whereby predicate ppl_set_deterministic_t...Roberto Bagnara1-0/+4
2012-04-07Revert "The function ppl_set_deterministic_timeout() in the C interface now t...Roberto Bagnara1-4/+0
2012-04-07The function ppl_set_deterministic_timeout() in the C interface now takes an ...Roberto Bagnara1-0/+4
2012-04-02Corrected typo.Enea Zaffanella1-1/+1
2012-04-02Distribute the bibliographies.Roberto Bagnara1-0/+3
2012-04-02Updated.Roberto Bagnara1-0/+27
2012-02-25Updated.Roberto Bagnara1-1/+1
2012-02-20The Parma Watchdog Library has been merged into the Parma Polyhedra Library.Roberto Bagnara1-0/+3
2012-02-20Add the release date for PPL 0.11.2.Enea Zaffanella1-1/+21
2012-01-18Bumped copyright years.Roberto Bagnara1-1/+1
2011-07-23New configure options `--with-gmp=DIR', `--with-gmp-include=DIR' andRoberto Bagnara1-5/+10
2011-06-12New configuration option `--disable-documentation'.Roberto Bagnara1-0/+4
2011-02-27Two items added.Roberto Bagnara1-0/+4
2011-02-22Updated.Roberto Bagnara1-1/+3
2011-02-22The `--disable-fpmath' configure option now disables all floating point compu...Roberto Bagnara1-0/+13
2011-02-20All known bugs have been fixed for PPL 0.11.1.Roberto Bagnara1-8/+4
2011-02-19Updated to minimize risks when the time of releasing PPL 0.12 will come.Roberto Bagnara1-8/+22
2011-02-14Mentioned a correction affecting PIP_Problem solution trees.Enea Zaffanella1-0/+9
2011-02-11Mentioned the correction of a few problems.Enea Zaffanella1-0/+17
2011-01-24Copyright notices updated.Roberto Bagnara1-0/+6
2010-10-19Updated list of bug fixes.Enea Zaffanella1-0/+8
2010-10-16Fixed a bug whereby the argument of all the methods unconstrain(Variable var)...Roberto Bagnara1-1/+8
2010-09-17Mention the correction of an efficiency bug in the C interface.Enea Zaffanella1-0/+3
2010-09-08Mentioned the fix to Interval::Interval(const char*).Roberto Bagnara1-0/+7
2010-09-07Announced a couple of new features and bugfixes.Enea Zaffanella1-0/+10
2010-09-07Mention the use of sparse matrices in MIP and PIP solvers.Enea Zaffanella1-1/+11
2010-08-13Corrected a bug affecting Interval::CC76_widening_assign(const From&, Iterato...Roberto Bagnara1-0/+16
2010-08-02Announce the new wrapping operator used to approximate machine arithmetic.Roberto Bagnara1-0/+7
2010-08-02Updated.Roberto Bagnara1-1/+1
2010-08-02Updated.Roberto Bagnara1-4/+6
2010-04-11Added an entry for the new functionality concerning the synthesis of linear (...Roberto Bagnara1-8/+16
2010-04-10Added a point about the new drop_some_non_integer_points() methods.Roberto Bagnara1-0/+10
2010-04-10Tentative release date is May 8, 2010. Reorganized and improved some news it...Roberto Bagnara1-38/+40
2010-04-06Added a couple of entries.Enea Zaffanella1-3/+17
2010-03-31Updated with news of the new reduction operator forPatricia Hill1-0/+16
2010-03-18New Linear_Expression methods.Roberto Bagnara1-0/+8
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-22 17:28:59 +0000