This project is read-only.


BoogiePartners is now hosted here.

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 1, 2015 at 8:56 AM by wuestholz, version 8