From 1ae799d7cda8342636c87ebac9991d72165a2e6b Mon Sep 17 00:00:00 2001
From: tiyn <tiyn@posteo.eu>
Date: Fri, 20 Feb 2026 07:31:13 +0100
Subject: [PATCH] nvim: moved viper highlighting to separate repository and
 imported it

---
 .config/nvim/lazy-lock.json             |  7 ++++---
 .config/nvim/lua/plugins/viper-nvim.lua |  8 ++++++++
 .config/nvim/lua/style.lua              | 24 ------------------------
 3 files changed, 12 insertions(+), 27 deletions(-)
 create mode 100644 .config/nvim/lua/plugins/viper-nvim.lua

diff --git a/.config/nvim/lazy-lock.json b/.config/nvim/lazy-lock.json
index a7507a8..6ffde18 100644
--- a/.config/nvim/lazy-lock.json
+++ b/.config/nvim/lazy-lock.json
@@ -15,7 +15,6 @@
   "diffview.nvim": { "branch": "main", "commit": "4516612fe98ff56ae0415a259ff6361a89419b0a" },
   "edgy.nvim": { "branch": "main", "commit": "8bfd2808994a988c975694122f68624b8a219f5f" },
   "fterm.nvim": { "branch": "master", "commit": "d1320892cc2ebab472935242d9d992a2c9570180" },
-  "fzf": { "branch": "master", "commit": "25b2248f11479f91df9fb41407a82af5f920bb3f" },
   "fzy-lua-native": { "branch": "master", "commit": "9d720745d5c2fb563c0d86c17d77612a3519c506" },
   "git-blame.nvim": { "branch": "master", "commit": "9874ec1ec8bc53beb33b7cd82c092b85271a578b" },
   "gitsigns.nvim": { "branch": "main", "commit": "1ee5c1fd068c81f9dd06483e639c2aa4587dc197" },
@@ -55,7 +54,7 @@
   "ogpt.nvim": { "branch": "main", "commit": "0fae02db8cb07391f86c3dbe807f62190a2d997f" },
   "otter.nvim": { "branch": "main", "commit": "fc0aa35b1985077d11a20ddf4006bf40f2cd7397" },
   "outline.nvim": { "branch": "main", "commit": "6b62f73a6bf317531d15a7ae1b724e85485d8148" },
-  "papis-vim": { "branch": "master", "commit": "506f6a599fd06a3952a12d759d5d09642aa3d3ec" },
+  "papis.nvim": { "branch": "main", "commit": "25e69f25e51b2d46178a213356adbc28b0f918ef" },
   "plenary.nvim": { "branch": "master", "commit": "b9fd5226c2f76c951fc8ed5923d85e4de065e509" },
   "popup-menu.nvim": { "branch": "master", "commit": "b618bd0c824a20417d845fa0022327228e6988a2" },
   "projections.nvim": { "branch": "pre_release", "commit": "889914169fa1f5c00fb8659653b5a8330fb223e6" },
@@ -64,8 +63,9 @@
   "renamer.nvim": { "branch": "master", "commit": "1614d466df53899f11dd5395eaac3c09a275c384" },
   "rustaceanvim": { "branch": "master", "commit": "12504405821c05874d2d1f6b5ec919f9808e2c99" },
   "spelunker.vim": { "branch": "master", "commit": "a0bc530f62798bbe053905555a4aa9ed713485eb" },
+  "sqlite.lua": { "branch": "master", "commit": "50092d60feb242602d7578398c6eb53b4a8ffe7b" },
   "tabular": { "branch": "master", "commit": "12437cd1b53488e24936ec4b091c9324cafee311" },
-  "tccs.nvim": { "branch": "master", "commit": "e50c1504286b5ee2700961a600f26c9b338bd042" },
+  "tccs.nvim": { "branch": "master", "commit": "b729bc7702d67db41898c5d65847a766384fc734" },
   "telescope-words.nvim": { "branch": "main", "commit": "295d51fe1e525fee18c0c164ad0ae5fb23273aa0" },
   "telescope.nvim": { "branch": "master", "commit": "776b509f80dd49d8205b9b0d94485568236d1192" },
   "tidy.nvim": { "branch": "main", "commit": "c8cd0e6e0108da25c3e10c3f33d8c03b3d8806f1" },
@@ -77,6 +77,7 @@
   "vim-illuminate": { "branch": "master", "commit": "0d1e93684da00ab7c057410fecfc24f434698898" },
   "vim-markdown": { "branch": "master", "commit": "8f6cb3a6ca4e3b6bcda0730145a0b700f3481b51" },
   "vim-renamer": { "branch": "master", "commit": "9c6346eb4556cf2d8ca55de6969247ab14fe2383" },
+  "viper.nvim": { "branch": "master", "commit": "4f406ae891113fc1bfda308052c835a185188670" },
   "which-key.nvim": { "branch": "main", "commit": "b4177e3eaf15fe5eb8357ebac2286d488be1ed00" },
   "wilder.nvim": { "branch": "master", "commit": "679f348dc90d80ff9ba0e7c470c40a4d038dcecf" },
   "winshift.nvim": { "branch": "main", "commit": "37468ed6f385dfb50402368669766504c0e15583" }
diff --git a/.config/nvim/lua/plugins/viper-nvim.lua b/.config/nvim/lua/plugins/viper-nvim.lua
new file mode 100644
index 0000000..7b13458
--- /dev/null
+++ b/.config/nvim/lua/plugins/viper-nvim.lua
@@ -0,0 +1,8 @@
+return {
+  -- highlighting for the viper verification language
+  "tiyn/viper.nvim",
+  event = { "BufReadPre *.vpr", "FileType viper" },
+  config = function()
+    require("viper").setup()
+  end,
+}
diff --git a/.config/nvim/lua/style.lua b/.config/nvim/lua/style.lua
index 359d513..e714846 100644
--- a/.config/nvim/lua/style.lua
+++ b/.config/nvim/lua/style.lua
@@ -129,27 +129,3 @@ vim.opt_local.colorcolumn = "+" .. vim.fn.join(vim.fn.range(0, 254), ",+")
 vim.o.list = true
 vim.opt.listchars:append("space:" .. Space_sign)
 vim.opt.listchars:append("eol:" .. Return_sign)
-
--- custom viper-highlighting
-local viper_group = vim.api.nvim_create_augroup("ViperSyntax", { clear = true })
-vim.api.nvim_create_autocmd("FileType", {
-  group = viper_group,
-  pattern = "viper",
-  callback = function()
-    vim.cmd("syntax enable")
-    vim.cmd([[
-      syntax keyword viperKeyword method function returns requires ensures invariant
-      syntax keyword viperKeyword if else while var field predicate
-      syntax keyword viperKeyword assert
-
-      syntax keyword viperType Int Bool Ref
-
-      syntax match viperComment "//.*$"
-      syntax match viperNumber "\v\d+"
-    ]])
-    vim.api.nvim_set_hl(0, "viperKeyword", { link = "Keyword" })
-    vim.api.nvim_set_hl(0, "viperType", { link = "Type" })
-    vim.api.nvim_set_hl(0, "viperComment", { link = "Comment" })
-    vim.api.nvim_set_hl(0, "viperNumber", { link = "Number" })
-  end,
-})