Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Migrated the format of analysis nodes from a custom data-type, to just Code... | Eduardo Julian | 2017-10-31 | 1 | -35/+47 |
* | - Updated to the latest changes in stdlib. | Eduardo Julian | 2017-10-18 | 1 | -20/+20 |
* | - Replaced the term "total" with "exhaustive". | Eduardo Julian | 2017-09-07 | 1 | -26/+26 |
* | - Updated new compiler's code to the recent changes in the language. | Eduardo Julian | 2017-09-05 | 1 | -13/+13 |
* | - Adjusted compiler to the new lack of Char type. | Eduardo Julian | 2017-07-02 | 1 | -1/+1 |
* | - Added loop synthesis. | Eduardo Julian | 2017-06-09 | 1 | -4/+4 |
* | - Documented the analysis phase. | Eduardo Julian | 2017-05-30 | 1 | -0/+287 |