| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update soutenanceHEADmaster | Alex AUVOLAT | 2014-09-09 | 1 | -188/+115 |
| | | |||||
| * | Copy prez | Alex AUVOLAT | 2014-09-08 | 6 | -70/+1031 |
| | | |||||
| * | Add an interesting document | Alex Auvolat | 2014-07-31 | 1 | -0/+0 |
| | | |||||
| * | Update Rapport de stage | Alex Auvolat | 2014-07-31 | 1 | -0/+0 |
| | | |||||
| * | Import Rapport de stage, probably not final version. | Alex Auvolat | 2014-07-30 | 1 | -0/+0 |
| | | |||||
| * | The heater example is not a very good example... | Alex Auvolat | 2014-07-30 | 3 | -30/+151 |
| | | |||||
| * | Experiment on dynamic partitionning (guarantee initial partition). | Alex Auvolat | 2014-07-24 | 2 | -56/+63 |
| | | |||||
| * | Plug into Apron Box domain for intervals. | Alex Auvolat | 2014-07-24 | 2 | -67/+157 |
| | | |||||
| * | Move README && add stuff ; add presentation. | Alex Auvolat | 2014-07-23 | 8 | -0/+2967 |
 |
index : scade-analyzer.git | |
| Analyse statique de SCADE |
| summaryrefslogtreecommitdiff |