From ca4f431db0368a8fb850dc48e1ade216d6928418 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Fri, 16 Jul 2021 10:26:23 +0200 Subject: Initial commit --- certora.vim | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 certora.vim diff --git a/certora.vim b/certora.vim new file mode 100644 index 0000000..04734de --- /dev/null +++ b/certora.vim @@ -0,0 +1,31 @@ +" Vim syntax file +" Language: Certora Verification Language +" Maintainer: Martin Chrzanowski +" Latest Revision: 16 July 2021 + +if exists("b:current_syntax") + finish +endif + +syn keyword statement methods description good_description rule maintain assume invariant preserved pragma ghost +syn keyword keyword havoc static_assert invoke assert at assuming axiom sinvoke static_require require if requireInvariant returns envfree + +syn keyword type env address uint256 bool method calldataarg uint uint64 uint16 uint32 uint8 uint24 uint32 uint40 uint48 uint56 uint72 uint80 uint88 uint96 uint104 uint112 uint120 uint128 uint136 uint144 uint152 uint160 uint168 uint176 uint184 uint192 uint200 uint208 uint216 uint224 uint232 uint240 uint248 bytes32 + +syn keyword identifier lastReverted lastHasThrown lastStorage lastEvents lastNumEvents currentContract + +syn match operator /=>/ +syn match operator /<=>/ +syn match operator /!/ +syn match operator /+/ +syn match operator /\*/ +syn match operator /-/ +syn match operator /==/ +syn match operator /<=\?/ +syn match operator />=\?/ +syn match operator /!=/ + +syn match comment /\/\/.*$/ +syn region comment start="\/\*" end="\*\/" + +let b:current_syntax = "certora" -- cgit v1.2.3