summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterUpdate soutenanceAlex AUVOLAT6 years
 
 
AgeCommit messageAuthorFilesLines
2014-09-09Update soutenanceHEADmasterAlex AUVOLAT1-188/+115
2014-09-08Copy prezAlex AUVOLAT7-71/+1038
2014-07-31Add an interesting documentAlex Auvolat1-0/+0
2014-07-31Merge branch 'refactor'Alex Auvolat7-182/+357
2014-07-31Oops, forgot most important file !Alex Auvolat1-0/+221
2014-07-31Update Rapport de stageAlex Auvolat1-0/+0
2014-07-30Refactor some stuff (this code sould be re-read.)Alex Auvolat6-182/+136
2014-07-30Import Rapport de stage, probably not final version.Alex Auvolat1-0/+0
2014-07-30Implement selection of disjunction variables for EDDs.Alex Auvolat4-30/+66
2014-07-30The heater example is not a very good example...Alex Auvolat9-93/+10227
[...]
 
Clone
http://adnab.me/cgit/scade-analyzer.git