user stats

Member SinceMarch 12, 2010
Last VisitMay 23, 2012

developer for

BoogiePartners
Microsoft Research Boogie
Spec#

mschwerhoff

personal statement

No personal statement has been written.

activity stream

May 23, 2012 - Microsoft Research Boogie: Created work item: Chalice: Unfolding has non-temporary effects on permissions

March 28, 2012 - Microsoft Research Boogie: Modified work item: Boogie nightly crashes with StackOverflowException

March 28, 2012 - Microsoft Research Boogie: Modified work item: Boogie nightly crashes with StackOverflowException

projects i'm following

No projects being followed.

forks

No forks.