Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl... | Rustan Leino | 2013-03-05 |
* | Removed HeapVariable from everywhere now that it is encapsulated in the Heap ... | mikebarnett | 2011-01-19 |
* | Please ignore. Just testing my account. | schaef | 2009-08-19 |
* | The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte... | mikebarnett | 2009-08-09 |