| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Can now translate multiple assemblies into one Boogie Program. |  mikebarnett | 2011-03-08 |
| * | Fix Sink.FindOrCreateProcedure so that it takes an IMethodDefinition instead ... | mikebarnett | 2011-03-06 |
| * | Changes needed to translate both contracts and method bodies. The Statement a... | mikebarnett | 2011-03-05 |
| * | Fixed dynamic dispatch so the most derived override is called for each subtype. | mikebarnett | 2011-02-25 |
| * | Added a new type, Type, that represents runtime types. The Heap interface now... | mikebarnett | 2011-02-24 |
| * | Changed calls to Debug.Assert to Contract.Assert. | mikebarnett | 2011-02-24 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |