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 |