This version includes several bug fixes and other improvements (e.g., (co-)lemma keyword, field names can be sequences of digits, allow calls to ghost methods from expressions). It also adds several new features to the Visual Studio extension for Dafny (e.g., on-demand re-verification, parallelization, BVD integration, visualization for counterexamples).
↧