BoogiePartners provides a loose collection of utilities or extensions for Boogie and SpecSharp developers.
At the moment, the following utilities are provided:
- Emacs mode for BoogiePL that supports syntax-highlighting, auto-indentation and imenu (
Boogie/Util/Emacs/boogiepl.el) - Emacs flymake extension for BoogiePL (
Boogie/Util/Emacs/flymake-boogiepl.el) - Coco/R: the frame files used by Boogie (and Dafny) and which work with the current version of Coco/R.