summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Expand)AuthorAgeFilesLines
* Copy prezAlex AUVOLAT2014-09-081-1/+7
* Move README && add stuff ; add presentation.Alex Auvolat2014-07-231-0/+8
* Add heuristic...Alex Auvolat2014-07-101-0/+1
* New algorithm for variable ordering based on FORCE.Alex Auvolat2014-07-031-0/+1
* Finish up EDDsAlex Auvolat2014-07-011-0/+3
* Add some testsAlex Auvolat2014-06-121-1/+6
* Parse type groups.Alex Auvolat2014-06-111-1/+8
* Initial commit: parser for tiny subset of SCADE language...Alex Auvolat2014-06-111-0/+4