/vim-setup

Vim setup for using Certora Verification Language

Primary LanguageVim Script

CVL syntax highlighting for vim

Vim syntax highlighting for the Certora Verification Language (CVL).

Installation

Clone the repository and either:

  • copy the files to their respective folders under the .vim\ directory, or
  • add symlinks to the respective files/folders, for example:
    ln -s vim-setup/syntax/cvl.vim ~/.vim/syntax/cvl.vim

Caveats

  1. The syntax highlighting may miss some newer features