https://github.com/seahorn/seahorn
Tip revision: 7aba115d201985cb11d866e19a515b324ed8b037 authored by caballa on 14 September 2022, 19:48:16 UTC
feat: port to LLVM 11
feat: port to LLVM 11
Tip revision: 7aba115
.dir-locals.el
;;; Directory Local Variables
;;; For more information see (info "(emacs) Directory Variables")
(
(c++-mode (c-basic-offset . 2))
(c-mode . ((c-basic-offset . 2)))
(nil . ((eval . (add-to-list 'auto-mode-alist '("\\.h\\'" . c++-mode)))
(eval . (if (boundp 'c-offsets-alist)
(add-to-list 'c-offsets-alist '(innamespace . -))))
(eval . (setq lsp-file-watch-threshold nil))
))
)