Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2017-11-12 | - Fixed some bugs. | Eduardo Julian | 2 | -47/+48 | |
- Improved error reporting. - Optimized pattern-matching a bit. | |||||
2017-11-09 | - Fixed the tests. | Eduardo Julian | 2 | -21/+45 | |
- Fixed a few bugs. - Can now translate recursion. | |||||
2017-11-06 | - Fixed some bugs. | Eduardo Julian | 2 | -12/+21 | |
2017-11-01 | - Minor refactorings. | Eduardo Julian | 2 | -37/+38 | |
- Fixed some bugs. - Enabled macro-expansion for statements. | |||||
2017-11-01 | - Re-organized synthesis. | Eduardo Julian | 5 | -0/+566 | |