summaryrefslogtreecommitdiff
path: root/doc
Commit message (Expand)AuthorAgeFilesLines
* Copy prezAlex AUVOLAT2014-09-086-70/+1031
* Add an interesting documentAlex Auvolat2014-07-311-0/+0
* Update Rapport de stageAlex Auvolat2014-07-311-0/+0
* Import Rapport de stage, probably not final version.Alex Auvolat2014-07-301-0/+0
* The heater example is not a very good example...Alex Auvolat2014-07-303-30/+151
* Experiment on dynamic partitionning (guarantee initial partition).Alex Auvolat2014-07-242-56/+63
* Plug into Apron Box domain for intervals.Alex Auvolat2014-07-242-67/+157
* Move README && add stuff ; add presentation.Alex Auvolat2014-07-238-0/+2967