Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2017-10-31 | - Re-organized analysis. | Eduardo Julian | 1 | -299/+0 | |
2017-10-31 | - Migrated the format of analysis nodes from a custom data-type, to just ↵ | Eduardo Julian | 1 | -35/+47 | |
Code nodes. | |||||
2017-10-18 | - Updated to the latest changes in stdlib. | Eduardo Julian | 1 | -20/+20 | |
2017-09-07 | - Replaced the term "total" with "exhaustive". | Eduardo Julian | 1 | -26/+26 | |
2017-09-05 | - Updated new compiler's code to the recent changes in the language. | Eduardo Julian | 1 | -13/+13 | |
- WIP: Some other changes/additions to the new compiler. | |||||
2017-07-02 | - Adjusted compiler to the new lack of Char type. | Eduardo Julian | 1 | -1/+1 | |
- WIP: PM/case synthesis. | |||||
2017-06-09 | - Added loop synthesis. | Eduardo Julian | 1 | -4/+4 | |
- Some refactoring. | |||||
2017-05-30 | - Documented the analysis phase. | Eduardo Julian | 1 | -0/+287 | |
- Some refactoring. - Removed singleton variants. |