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