2 people following this project (follow)

BoogiePartners


BoogiePartners provides a loose collection of utilities or extensions for Boogie and SpecSharp developers.

At the moment, the following utilities are provided:
  1. Emacs mode for BoogiePL that supports syntax-highlighting, auto-indentation and imenu (Boogie/Util/Emacs/boogiepl.el)
  2. Emacs flymake extension for BoogiePL (Boogie/Util/Emacs/flymake-boogiepl.el)
  3. Coco/R: the frame files used by Boogie (and Dafny) and which work with the current version of Coco/R.

Last edited Jul 18 2010 at 10:39 PM by mikebarnett, version 7