summaryrefslogtreecommitdiff
path: root/NEWS
AgeCommit message (Expand)AuthorFilesLines
2009-07-12Item improved.Roberto Bagnara1-1/+1
2009-05-12New configuration option `--with-gmp-build=DIR'.Roberto Bagnara1-0/+3
2009-05-07Added basic timeout support to the Java library interface.Enea Zaffanella1-0/+2
2009-05-05The rename of Determinate was in fact a bad idea: backtracked.Roberto Bagnara1-2/+0
2009-05-04The `Determinate' class has been renamed `COW_Pointset'.Roberto Bagnara1-0/+2
2009-05-04Documented recent changes in the Java interface.Enea Zaffanella1-0/+7
2009-04-21Use of PPL_ARM_CAN_CONTROL_FPU made safer.Roberto Bagnara1-2/+4
2009-04-20Mentioned the speed improvements committed today.Roberto Bagnara1-0/+6
2009-04-17Merge branch 'master' into deprecated_0_11_removal.Roberto Bagnara1-0/+17
2009-04-15Test program tests/Polyhedron/memory1 disabled on the zSeries s390x platform.Roberto Bagnara1-0/+3
2009-04-15Updated for PPL 0.10.2.Roberto Bagnara1-0/+14
2009-04-14Initiated the removal of the methods deprecated in PPL 0.10.Roberto Bagnara1-0/+15
2009-04-04More NEWS items added. Tentative release date set to April 14, 2009.Roberto Bagnara1-21/+30
2009-04-02Added a couple of items.Enea Zaffanella1-0/+7
2009-03-26Report on two bugs fixed in the OCaml interface.Patricia Hill1-0/+13
2009-03-24Mention the bug corrected for method Octagonal_Shape<T>::affine_image().Enea Zaffanella1-0/+3
2009-03-22Mention the bug fixed with Commit: 6a6734db48e2ca605dfc27ce5f1a923eb867ed25Enea Zaffanella1-0/+4
2009-03-21Typo fixed.Roberto Bagnara1-1/+1
2009-03-21The C interface now provides functions of the formRoberto Bagnara1-0/+8
2009-03-21Got rid of AX_PREFIX_CONFIG_H.Roberto Bagnara1-1/+13
2009-01-24Wording improved.Roberto Bagnara1-2/+3
2009-01-24The configuration script now explicitly checks that a recent enoughRoberto Bagnara1-0/+4
2009-01-23New configuration option `--with-mlgmp=DIR' allows to specify theRoberto Bagnara1-0/+3
2008-11-24Report bug fix corrected in previous commit.Patricia M. Hill1-0/+6
2008-11-20The OCaml interface now supports compilation to native code.Enea Zaffanella1-0/+7
2008-11-20Added a note concerning the correction of a bug in thePatricia M. Hill1-0/+5
2008-11-18Mention bug fix for Polyhedron::contains_integer_point().Enea Zaffanella1-0/+5
2008-11-17Recorded the fix solving the `make check' problem when theRoberto Bagnara1-0/+3
2008-11-10Macro PPL_DIRTY_TEMP_COEFFICIENT properly commented. Notice that thisRoberto Bagnara1-1/+3
2008-11-09Robustness has been improved.Roberto Bagnara1-0/+2
2008-11-05Added a section for 0.10.1.Roberto Bagnara1-0/+18
2008-11-05Stick to ASCII.Roberto Bagnara1-4/+4
2008-11-03Wording improved.Roberto Bagnara1-11/+12
2008-11-03Added an item for the C interface wrt the change forPatricia M. Hill1-0/+6
2008-11-02Wording improved.Roberto Bagnara1-2/+3
2008-10-31Reorganised, duplicate item removed, subheadings added and the sectionPatricia M. Hill1-131/+152
2008-10-31Added two items.Patricia M. Hill1-0/+16
2008-10-28Mention the introduction and use of the functions restore_pre_PPL_rounding(),Roberto Bagnara1-0/+11
2008-10-27Small improvement.Roberto Bagnara1-1/+1
2008-10-27Avoid repetitive comments for the Partially_Reduced_Product domains.Patricia M. Hill1-3/+2
2008-10-27Three subitems on the foreign language interfaces, all related to uniformEnea Zaffanella1-24/+22
2008-10-27A couple of improvements on items regarding foreign langauge interfaces.Enea Zaffanella1-6/+8
2008-10-27Revised the items wrt add_integer_point(), constrains() and unconstrain().Patricia M. Hill1-15/+15
2008-10-27Some consistency improvements.Roberto Bagnara1-18/+20
2008-10-27Several corrections and improvements.Roberto Bagnara1-33/+33
2008-10-27Corrected a couple of typos.Enea Zaffanella1-2/+2
2008-10-27Revised the item on bds_hull etc.Patricia M. Hill1-4/+2
2008-10-27Improved item about refine_with_* methods.Enea Zaffanella1-1/+12
2008-10-27The wronly placed item on deprecated methods moved to a better place.Enea Zaffanella1-15/+28
2008-10-27Added an item on the new man pages libppl(3) and libppl_c(3).Roberto Bagnara1-0/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-30 04:09:34 +0000