Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Adjusted compiler to the new lack of Char type. | Eduardo Julian | 2017-07-02 | 1 | -1/+1 |
| | | | - WIP: PM/case synthesis. | ||||
* | - Added loop synthesis. | Eduardo Julian | 2017-06-09 | 1 | -4/+4 |
| | | | - Some refactoring. | ||||
* | - Documented the analysis phase. | Eduardo Julian | 2017-05-30 | 1 | -0/+287 |
- Some refactoring. - Removed singleton variants. |