Boogie update 2010-07-13

Rating: No reviews yet
Downloads: 642
Change Set: 54986
Released: Jul 13, 2010
Updated: Jul 14, 2010 by rustanleino
Dev status: Stable Help Icon

Recommended Download

Application Boogie-2010-07-13
application, 3193K, uploaded Jul 14, 2010 - 642 downloads

Release Notes

This release of Boogie will look for Z3 up to version 2.15 (previous releases only would not recognize some of the newer Z3 versions). The release also contains a number of additions to Dafny.

Reviews for this release

No reviews yet for this release.