CodePlexProject Hosting for Open Source Software
Member SinceFebruary 25, 2010 Last VisitJune 18, 2013
User prefers to not be contacted.
STORM Concurrency Checker
CHESS: Systematic Concurrency Testing Microsoft Research Boogie
June 19, 2013 - Microsoft Research Boogie: 47e7cc1f86dc, AbsHoudini: Bug fix, with bv constants.
June 19, 2013 - Microsoft Research Boogie: f29eab4e0407, AbsHoudini: Bug fix
June 16, 2013 - Microsoft Research Boogie: ba91b72be4b9, AbsHoudini: Few more abstract domains
June 15, 2013 - Microsoft Research Boogie: a1b36b8e1acf, Merge
June 15, 2013 - Microsoft Research Boogie: 73a4c41c103f, AbsHoudini: added an implication domain
May 27, 2013 - Microsoft Research Boogie: e96adb2b5fa3, Merge
May 27, 2013 - Microsoft Research Boogie: 51e9a92eb915, AbsHoudini: Added support for quantifiers
May 10, 2013 - Microsoft Research Boogie: 0c9465493683, AbsHoudini: Tolerate some assertion failing. Updated regression baseline.
May 5, 2013 - Microsoft Research Boogie: 0c2eb25dd0f2, AbsHoudini: Each function can specify its own abstract domain. Also added typechecking
May 3, 2013 - Microsoft Research Boogie: db772f474a89, Print " " after a YieldCmd
No projects being followed.
No forks.