| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Further support for translating generics |  qadeer | 2011-06-04 |
| * | Beginning of representing structs as values on the heap, but without object |  Mike Barnett | 2011-05-26 |
| * | Created an API so that a MetadataTraverser is used to translate a set of | Mike Barnett | 2011-05-21 |
| * | first cut at handling generics | qadeer | 2011-05-11 |
| * | 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 |