https://github.com/seahorn/seahorn
Raw File
Tip revision: 7aba115d201985cb11d866e19a515b324ed8b037 authored by caballa on 14 September 2022, 19:48:16 UTC
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))
         ))
 )
back to top