CodePlexProject Hosting for Open Source Software
Member SinceMay 18, 2010 Last VisitMay 26, 2012
User prefers to not be contacted.
Mercurial Sandkasten
Microsoft Research Boogie Spec#
May 26, 2012 - Spec#: 221320b2a485, SscBoogie build succeeded
May 26, 2012 - Microsoft Research Boogie: 12431723b5fe, Boogie build succeeded
May 26, 2012 - Microsoft Research Boogie: Edited release: Chalice nightlies
May 26, 2012 - Spec#: Edited release: Nightly builds
May 25, 2012 - Microsoft Research Boogie: Edited release: Nightly builds
May 25, 2012 - Microsoft Research Boogie: 7593fac0b8ac, Chalice build succeeded
May 25, 2012 - Microsoft Research Boogie: Edited release: Chalice nightlies
May 25, 2012 - Spec#: Edited release: Nightly builds
May 24, 2012 - Microsoft Research Boogie: Edited release: Nightly builds
May 24, 2012 - Microsoft Research Boogie: Edited release: Chalice nightlies
No projects being followed.
No forks.