diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2021-06-09 09:50:19 +0200 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2021-06-09 09:50:19 +0200 |
| commit | ff8c1d76741f148d5f6efb9a57119dcf11afaec6 (patch) | |
| tree | 2717f611f45d2a82d83ae1e320af4f3aa33b4264 /ftplugin/smt2.vim | |
| parent | 27756b129b7a1f9763a0062aafa8fd35b0181b19 (diff) | |
| download | vim-polyglot-ff8c1d76741f148d5f6efb9a57119dcf11afaec6.tar.gz vim-polyglot-ff8c1d76741f148d5f6efb9a57119dcf11afaec6.zip | |
Update
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> |