CodePlexProject Hosting for Open Source Software
Member SinceDecember 4, 2010 Last VisitMay 26, 2012
Contact
BoogiePartners Microsoft Research Boogie
May 24, 2012 - Microsoft Research Boogie: 532c990a2edb, Chalice: Move list-revers.chalice test case to examples, and remove failing parts of that test case (they are now reported as workitem 10221). Also, the assertion is now written as a postcondition.
May 24, 2012 - Microsoft Research Boogie: Created work item: Chalice: Extra unfold-fold pairs make the verification fail in some cases
Microsoft Research Boogie
No forks.