diff options
Diffstat (limited to 'ftplugin/smt2.vim')
| -rw-r--r-- | ftplugin/smt2.vim | 30 |
1 files changed, 8 insertions, 22 deletions
diff --git a/ftplugin/smt2.vim b/ftplugin/smt2.vim index d6cfa5ec..b8e8c46c 100644 --- a/ftplugin/smt2.vim +++ b/ftplugin/smt2.vim @@ -3,27 +3,13 @@ if polyglot#init#is_disabled(expand('<sfile>:p'), 'smt2', 'ftplugin/smt2.vim') endif setlocal iskeyword+=-,:,#,',$ +setlocal commentstring=;%s -" If no command for invoking a solver is specified in ~/.vimrc, test if either -" 'z3' or 'boolector' is accessible through $PATH (in that order) -if !exists("g:smt2_solver_command") - if executable("z3") - let g:smt2_solver_command = "z3" - elseif executable("boolector") - let g:smt2_solver_command = "boolector" - endif -endif - -" If no command line switch for printing the solver's version is specified in -" ~/.vimrc, use '--version' -if !exists("g:smt2_solver_version_switch") - let g:smt2_solver_version_switch = "--version" -endif - -" Mappings -nnoremap <silent> <buffer> <localleader>r :call smt2#RunSolver()<cr> -nnoremap <silent> <buffer> <localleader>R :call smt2#RunSolverAndShowResult()<cr> -nnoremap <silent> <buffer> <localleader>v :call smt2#PrintSolverVersion()<cr> +" Mappings for solver functionality +nnoremap <silent> <buffer> <localleader>r :call smt2#solver#Run()<cr> +nnoremap <silent> <buffer> <localleader>R :call smt2#solver#RunAndShowResult()<cr> +nnoremap <silent> <buffer> <localleader>v :call smt2#solver#PrintVersion()<cr> -" Comment String -setlocal commentstring=;%s +" Mappings for formatting functionality +nnoremap <silent> <buffer> <localleader>f :call smt2#formatter#FormatCurrentParagraph()<cr> +nnoremap <silent> <buffer> <localleader>F :call smt2#formatter#FormatAllParagraphs()<cr> |