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