Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl... | 2013-03-05 | |
* | Major changes to the translator traversers because they now are based on the | 2011-10-31 | |
* | (phone bct) default URI checks inlined | 2011-08-02 | |
* | (phone bct) methods inlined for modular analysis (fix) | 2011-08-02 | |
* | (phone bct) compute fixpoint for necessary inlined methods (for modular analy... | 2011-08-01 |