aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/synthesis.lux (unfollow)
Commit message (Collapse)AuthorFilesLines
2017-06-09- Added loop synthesis.Eduardo Julian1-4/+6
- Some refactoring.
2017-06-06- Now optimizing functions.Eduardo Julian1-3/+5
2017-05-31- Implemented some synthesis algorithms and tests for primitives, ↵Eduardo Julian1-5/+25
structures, procedures and function application. - Some refactoring.
2017-05-29- Fixes for pattern-matching (case) analysis.Eduardo Julian1-3/+5
- Small refactorings. - Improved common procedures analysis. - Can now handle tagged structures (variants & records). - Tests for pattern-matching, functions (definition & application), and common procedures.
2017-05-20- Some refactoring.Eduardo Julian1-2/+1
2017-05-17- Renamed "Error" to "Result".Eduardo Julian1-2/+2
2017-05-09- Added tests for some kinds of analysis.Eduardo Julian1-0/+21
- WIP: Porting more code.