BoogiePartners
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:
- 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.