| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2017-07-02 | - Adjusted compiler to the new lack of Char type. | Eduardo Julian | 1 | -1/+1 | 
| 2017-06-09 | - Added loop synthesis. | Eduardo Julian | 1 | -4/+4 | 
| 2017-05-30 | - Documented the analysis phase. | Eduardo Julian | 1 | -0/+287 | 
