Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Minor refactorings. | Eduardo Julian | 2017-11-01 | 1 | -1/+1 |
| | | | | - Fixed some bugs. - Enabled macro-expansion for statements. | ||||
* | - Re-organized code-generation, and re-named it "translation". | Eduardo Julian | 2017-11-01 | 1 | -6/+6 |
| | |||||
* | - Re-organized synthesis. | Eduardo Julian | 2017-11-01 | 1 | -4/+4 |
| | |||||
* | - Re-organized analysis. | Eduardo Julian | 2017-10-31 | 1 | -3/+3 |
| | |||||
* | - Re-named "expr" module to "expression". | Eduardo Julian | 2017-10-31 | 1 | -2/+2 |
| | |||||
* | - Updated to the latest changes in stdlib. | Eduardo Julian | 2017-10-18 | 1 | -2/+2 |
| | |||||
* | - Simplified "eval". | Eduardo Julian | 2017-10-05 | 1 | -2/+3 |
| | |||||
* | - Added tests for type-checking and type-coercion. | Eduardo Julian | 2017-10-05 | 1 | -0/+17 |
- Implemented "eval". - Fixed bugs when analysing variants and tuples. |