Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Brings all copyrights (in comments) up-to-date, from 2011/12 to 2013 | Heather Miller | 2012-11-02 | 1 | -1/+1 |
* | SI-5314 - CPS transform of return statement fails | phaller | 2012-08-08 | 1 | -1/+5 |
* | update and normalize copyright notice | Adriaan Moors | 2012-08-07 | 1 | -1/+1 |
* | Revert pull request #720 (CPS: enable return expressions in CPS code if they ... | phaller | 2012-06-27 | 1 | -4/+0 |
* | Replace context stack of AnnotationChecker with new mode for typing returns | phaller | 2012-06-15 | 1 | -0/+4 |
* | Revert "#653 -- no lub for statement exprs' types" | Adriaan Moors | 2012-06-03 | 1 | -13/+1 |
* | Don't compute least upper bounds for expressions in statement positions insid... | Iulian Dragos | 2012-06-03 | 1 | -1/+13 |
* | Fighting bitrot with typing. | Paul Phillips | 2012-04-29 | 1 | -1/+1 |
* | Added two new compiler options: | Paul Phillips | 2011-07-29 | 1 | -0/+3 |
* | Updated copyright notices to 2011 | Antonio Cunei | 2011-01-20 | 1 | -1/+1 |
* | A very conservative extraction of some of the F... | Paul Phillips | 2011-01-01 | 1 | -0/+133 |