summaryrefslogtreecommitdiff
path: root/.gitignore
Commit message (Collapse)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