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 |