mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
4c183e931d
Support for Verus verification. Also add a verus github workflow. Signed-off-by: Jay Lorch <jaylorch@gmail.com> Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
13 lines
733 B
EmacsLisp
13 lines
733 B
EmacsLisp
;;; Directory Local Variables -*- no-byte-compile: t; -*-
|
|
;;; For more information see (info "(emacs) Directory Variables")
|
|
|
|
;; Regorus is a cargo-verus project (package.metadata.verus.verify = true), so
|
|
;; verus-mode.el runs `cargo verus verify' rather than the raw `verus' binary.
|
|
;; The cargo-verus path ignores `package.metadata.verus.ide.extra_args' and
|
|
;; instead reads `verus-cargo-verus-arguments'. We set it here so that Verus is
|
|
;; invoked with the `verus' Cargo feature enabled.
|
|
;;
|
|
;; Everything before `--' is passed to cargo-verus; everything after `--' is
|
|
;; forwarded to the Verus binary. The `--' is required by verus-mode.el.
|
|
((verus-mode . ((verus-cargo-verus-arguments . ("--features" "verus" "--")))))
|