This project has been moved to vpr-mode
Viper language support for Emacs.
This package is under heavy development and does not support all Viper features. Thus, it is not published in any package archives.
For the moment, the package uses viper through silicon with the default arguments.
To install it, one must clone the repository:
git clone git@github.com:Dspil/viperlanguage-mode.git
Then, add the following lines in your init.el.
(add-to-list 'load-path "<viperlanguage-mode path>")
(use-package viperlanguage-mode)
(setq viperlanguage-viper-path "<viper path>")
(setq viperlanguage-z3-path "<path to Z3>")
(setq viperlanguage-boogie-path "<path to Boogie>")
If you want the verification to happen on save:
(add-hook 'after-save-hook #'viperlanguage-verify)
Current keybindings are:
C-c C-c
: Start Viper serverC-c C-v
: Verify this fileC-c C-x
: Stop Viper serverC-c C-b
: Alternate the backend between silicon and carbon