Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixed bug in inlining (procedure *definitions* had been traversed by ↵ | 2009-11-19 | |
| | | | | | | StandardVisitor while visiting commands). This solves Issue #6266. | ||
* | Fixed bugs in inlining, and added a test case. | 2009-10-14 | |
| | | | | This solves issue 5742, as reported in the MSR Boogie Issue Tracker on Codeplex. | ||
* | Initial set of files. | 2009-07-15 | |