Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fixes #481 | Araq | 2013-06-13 | 1 | -1/+18 |
* | improvements for 'not nil' checking | Araq | 2013-06-13 | 1 | -0/+7 |
* | bugfixes for the guarded data flow analysis | Araq | 2013-06-12 | 1 | -66/+95 |
* | next steps for guarded data flow analysis | Araq | 2013-06-11 | 1 | -35/+220 |
* | resolved conflict; added missing files | Araq | 2013-06-09 | 1 | -0/+346 |