| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Made it unnecessary to set the types on the Boogie ASTs as we create them. |  mikebarnett | 2011-03-03 |
| * | fixes for splitFields option | qadeer | 2011-03-02 |
| * | implemented delegates and events | qadeer | 2011-02-25 |
| * | Added a new type, Type, that represents runtime types. The Heap interface now... | mikebarnett | 2011-02-24 |
| * | Moved the parts of the Prelude that depend on the heap representation into th... | mikebarnett | 2011-01-20 |
| * | More structuring of the different heap representations. Now each heap represe... | mikebarnett | 2011-01-19 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |