Boogie update 2011-03-09

Rating: No reviews yet
Downloads: 497
Change Set: 63336
Released: Mar 9, 2011
Updated: Mar 10, 2011 by rustanleino
Dev status: Stable Help Icon

Recommended Download

Application Boogie-2011-03-09
application, 1816K, uploaded Mar 10, 2011 - 497 downloads

Release Notes

This binary drop contains all the good changes of Boogie and Dafny that came into being since summer 2010. You must use Z3 version 2.15 (no newer version can be installed). A new version of Boogie will be made available once Z3 version 2.20 is released (at which time the SMT Lib 2 interface to Z3 will be used). This Boogie version also contains the Boogie Verification Debugger (BVD) and its VCC and Dafny plug-ins.

Reviews for this release

No reviews yet for this release.