diff options
Diffstat (limited to 'syntax/smt2.vim')
| -rw-r--r-- | syntax/smt2.vim | 29 |
1 files changed, 17 insertions, 12 deletions
diff --git a/syntax/smt2.vim b/syntax/smt2.vim index 62479d3b..adb88d28 100644 --- a/syntax/smt2.vim +++ b/syntax/smt2.vim @@ -15,14 +15,13 @@ let b:current_syntax = "smt2" " Comments syntax match smt2Comment ";.*$" -" Keywords -syntax keyword smt2Keyword +" Commands +syntax keyword smt2Commands \ apply - \ as - \ assert \ assert \ assert-soft \ check-sat + \ check-sat-assuming \ check-sat-using \ declare-const \ declare-datatype @@ -34,44 +33,46 @@ syntax keyword smt2Keyword \ declare-var \ define-const \ define-fun + \ define-fun-rec + \ define-funs-rec \ define-sort \ display \ echo \ elim-quantifiers \ eval - \ exists \ exit - \ forall + \ get-assertions \ get-assignment \ get-info \ get-model \ get-option \ get-proof + \ get-unsat-assumptions \ get-unsat-core \ get-user-tactics \ get-value \ help - \ let - \ match \ maximize \ minimize \ pop \ push \ query \ reset + \ reset-assertions \ rule \ set-info \ set-logic \ set-option \ simplify -syntax match smt2Keyword "!" +syntax match smt2Commands "!" " Operators -syntax match smt2Operator "[=\|>\|<\|<=\|>=\|=>\|+\|\-\|*\|/]" +syntax match smt2Operator "[=\|>\|<\|<=\|>=\|=>\|+\|\-\|*\|/\|!]" " Builtins syntax keyword smt2Builtin \ and + \ as \ bit0 \ bit1 \ bvadd @@ -108,16 +109,20 @@ syntax keyword smt2Builtin \ const \ distinct \ div + \ exists \ extract \ false - \ get-assertions + \ forall \ if \ is_int \ ite + \ let \ map + \ match \ mod \ not \ or + \ par \ rem \ repeat \ root-obj @@ -163,7 +168,7 @@ syntax match smt2Delimiter "[()]" syntax keyword smt2Error error highlight def link smt2Comment Comment -highlight def link smt2Keyword Function +highlight def link smt2Commands Function highlight def link smt2Operator Operator highlight def link smt2Builtin Operator highlight def link smt2Identifier Normal |