summaryrefslogtreecommitdiff
path: root/TODO
AgeCommit message (Expand)AuthorFilesLines
2012-06-27Updated.Roberto Bagnara1-4/+4
2012-02-27Updated.Roberto Bagnara1-6/+2
2012-02-11INT_MIN % -1 is undefined behavior in C++11.Roberto Bagnara1-7/+0
2011-10-25Web site URI updated.Roberto Bagnara1-1/+1
2011-08-19Item revised.Roberto Bagnara1-2/+2
2010-08-02Updated.Roberto Bagnara1-14/+0
2010-08-01Set aside the domain of affine spaces, for the time being.Roberto Bagnara1-1/+1
2010-04-10Man pages updated.Roberto Bagnara1-6/+0
2010-04-08Pushed one item to PPL 0.12. We will not have 0.10.3 release.Roberto Bagnara1-22/+2
2010-04-08Merge remote branch 'origin/master'Roberto Bagnara1-3/+0
2010-04-08Perl is no longer a strict requirement.Roberto Bagnara1-3/+0
2010-04-08Dealt with one of the items.Enea Zaffanella1-1/+0
2010-04-08Removed a completed item:Patricia Hill1-2/+0
2010-03-31Updated with news of the new reduction operator forPatricia Hill1-3/+0
2010-03-19Updated the first item for TODO and removed code forPatricia Hill1-1/+1
2010-03-18New Linear_Expression methods.Roberto Bagnara1-0/+3
2010-02-26Throw std::logic_error in case the client asks for watchdogs on a system not ...Roberto Bagnara1-0/+2
2010-02-17Cater for systems where setitimer() is not provided (part 2).Roberto Bagnara1-4/+0
2010-02-16Important item added.Roberto Bagnara1-0/+4
2010-02-15Added a draft man page for `ppl_pips'. Other man pages updated.Roberto Bagnara1-0/+2
2009-11-26One item added.Roberto Bagnara1-1/+3
2009-11-23Item added.Roberto Bagnara1-0/+1
2009-07-14Todo items reorganized. Removed the one about NOT_EQUAL.Roberto Bagnara1-8/+7
2009-07-12New configure option --with-gmp-prefix supersedes the (now removed)Roberto Bagnara1-2/+0
2009-07-12Converted watchdog time argument to unsigned.Abramo Bagnara1-2/+0
2009-07-12Synchronized with the current reality.Roberto Bagnara1-9/+5
2009-05-16Item removed: no big deal.Roberto Bagnara1-2/+1
2009-05-14Partially reverted changes 71e9992afa9bc049b93d0b29fd9dbe52ead850cf.Enea Zaffanella1-0/+2
2009-05-12Added a commit to consider should we release PPL 0.10.3.Roberto Bagnara1-0/+4
2009-05-12Another TODO item dealt with.Enea Zaffanella1-3/+0
2009-05-12Added a section on commits to consider should we release PPL 0.10.3.Roberto Bagnara1-0/+15
2009-05-11Another item dealt with.Enea Zaffanella1-2/+0
2009-05-11Got rid of a TODO item.Enea Zaffanella1-2/+0
2009-05-04Two new items added.Roberto Bagnara1-0/+3
2009-04-25One obsolete item removed. Other items partially scheduled.Roberto Bagnara1-30/+33
2009-04-25DO_TEST_F now produces a more sensible output.Roberto Bagnara1-2/+0
2009-04-25Use the ocaml-autoconf macros for configuration of the OCaml interface.Roberto Bagnara1-3/+0
2009-04-21Use of PPL_ARM_CAN_CONTROL_FPU made safer.Roberto Bagnara1-4/+0
2009-04-15Updated for PPL 0.10.2.Roberto Bagnara1-6/+0
2009-04-02We no longer have FIXME's for 0.10.1.Enea Zaffanella1-1/+4
2009-04-01New items for PPL 0.11 added. Other items scheduled for PPL 0.11.Roberto Bagnara1-13/+25
2009-03-31Added TODO item.Abramo Bagnara1-0/+2
2009-03-30Added one item for PPL 0.11.Roberto Bagnara1-0/+4
2009-03-30Consider switching to MLGMPIDL for the OCaml interface.Roberto Bagnara1-0/+2
2009-03-30Moved TODO items to their place.Enea Zaffanella1-0/+2
2009-03-28Done item removed.Roberto Bagnara1-4/+0
2009-03-28Documented rational sqrt precision and implemented a more precise variant for...Abramo Bagnara1-0/+2
2009-03-25Do not enable the Prolog interfaces by default in the release tarballs.Roberto Bagnara1-1/+0
2009-03-25TODO itemPatricia Hill1-1/+0
2009-03-24Explained the `--disable-ppl_lcdd' and `--disable-ppl_lcdd' configureRoberto Bagnara1-2/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-26 15:48:15 +0000