summaryrefslogtreecommitdiff
path: root/doc/readme.pdf
Commit message (Expand)AuthorAgeFilesLines
* The heater example is not a very good example...Alex Auvolat2014-07-301-0/+0
* Experiment on dynamic partitionning (guarantee initial partition).Alex Auvolat2014-07-241-0/+0
* Plug into Apron Box domain for intervals.Alex Auvolat2014-07-241-0/+0
* Move README && add stuff ; add presentation.Alex Auvolat2014-07-231-0/+0