Issues

• /standardLibraries:1 option is ignored

  boogie-org/boogie-friends#45 · Filter by author yaitskov opened on Jan 20, 2026

• Error after installing boogie-friends

  boogie-org/boogie-friends#42 · Filter by author pys opened on Sep 27, 2024
  3

• forall statement visually looks like forall expression

  boogie-org/boogie-friends#38 · Filter by author RustanLeino opened on Nov 1, 2022

• Auto-formatting in calc

  boogie-org/boogie-friends#31 · Filter by author RustanLeino opened on Jan 5, 2021
  1

• Extract proper filename for flycheck on related locations in refining modules

  boogie-org/boogie-friends#20 · Filter by author xinhaoyuan opened on May 26, 2017

• Easy way to have flycheck detect that current file is in the Dafny or Boogie test suite?

  boogie-org/boogie-friends#17 · Filter by author wilcoxjay opened on Apr 20, 2017
  2

• Indentation after datatype declaration

  boogie-org/boogie-friends#14 · Filter by author SohumB opened on Nov 7, 2016
  1

• feature suggestion: parse Dafny/Boogie error strings in M-x compile mode

  boogie-org/boogie-friends#12 · Filter by author 0xabu opened on Oct 4, 2016
  2

• feature request: scope interactive verification, akin to /proc: on the command-line

  boogie-org/boogie-friends#10 · Filter by author 0xabu opened on Sep 26, 2016
  3

• indentation of case with dafny-mode in emacs

  boogie-org/boogie-friends#9 · Filter by author robstewart57 opened on Sep 8, 2016
  1

• When using include, helpful "this is the precondition that might not hold" information is missing from flycheck errors

  boogie-org/boogie-friends#5 · Filter by author wilcoxjay opened on Apr 10, 2016
  1