stefanheule

user stats

Member SinceDecember 4, 2010
Last VisitMay 26, 2012

Contact

developer for

BoogiePartners
 Microsoft Research Boogie

stefanheule

personal statement

No personal statement has been written.

activity stream

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

projects i'm following

forks

No forks.