From de1cca03c746b8465510b1769455d876aaba4576 Mon Sep 17 00:00:00 2001
From: tiyn <tiyn@posteo.eu>
Date: Mon, 24 Nov 2025 04:26:13 +0100
Subject: [PATCH 1/3] nvim: setup compiler with silicon for viper files

---
 .local/bin/etc/nvim/compiler | 2 ++
 .local/bin/etc/viper/carbon  | 2 ++
 .local/bin/etc/viper/silicon | 2 ++
 .profile                     | 6 ++++++
 4 files changed, 12 insertions(+)
 create mode 100755 .local/bin/etc/viper/carbon
 create mode 100755 .local/bin/etc/viper/silicon

diff --git a/.local/bin/etc/nvim/compiler b/.local/bin/etc/nvim/compiler
index 0139d34..9301230 100755
--- a/.local/bin/etc/nvim/compiler
+++ b/.local/bin/etc/nvim/compiler
@@ -10,6 +10,7 @@ file=$(readlink -f "$1")
 dir=$(dirname "$file")
 base="${file%.*}"
 basenodir="${1%.*}"
+vipercmd="silicon" #"carbon"
 
 cd "$dir" || exit
 
@@ -25,6 +26,7 @@ textype() { \
 	}
 
 case "$file" in
+        *\.vpr) $vipercmd "$file" ;;
 	*\.ms) refer -PS -e "$file" | groff -me -ms -kept -T pdf > "$base".pdf ;;
 	*\.mom) refer -PS -e "$file" | groff -mom -kept -T pdf > "$base".pdf ;;
 	*\.[0-9]) refer -PS -e "$file" | groff -mandoc -T pdf > "$base".pdf ;;
diff --git a/.local/bin/etc/viper/carbon b/.local/bin/etc/viper/carbon
new file mode 100755
index 0000000..1b3ca07
--- /dev/null
+++ b/.local/bin/etc/viper/carbon
@@ -0,0 +1,2 @@
+#!/bin/sh
+java -jar "$VIPER_CARBON" --z3Exe "$VIPER_Z3" --boogieExe "$VIPER_BOOGIE" "$@"
diff --git a/.local/bin/etc/viper/silicon b/.local/bin/etc/viper/silicon
new file mode 100755
index 0000000..3e4376c
--- /dev/null
+++ b/.local/bin/etc/viper/silicon
@@ -0,0 +1,2 @@
+#!/bin/sh
+java -jar "$VIPER_SILICON" "$@"
diff --git a/.profile b/.profile
index eacb3de..59b3376 100644
--- a/.profile
+++ b/.profile
@@ -64,6 +64,12 @@ export PATH="${GOBIN}:${PATH}"
 # nim
 export PATH="${HOME}/.nimble/bin:${PATH}"
 
+# viper
+export VIPER_SILICON=""
+export VIPER_CARBON=""
+export VIPER_Z3="/bin/z3"
+export VIPER_BOOGIE="$HOME/.dotnet/tools/boogie"
+
 # python
 export PYENV_ROOT="$HOME/.pyenv"
 export PATH="$PYENV_ROOT/bin:$PATH"

From bf752316e10b50f689f82afbd441cf3955b3bb01 Mon Sep 17 00:00:00 2001
From: tiyn <tiyn@posteo.eu>
Date: Wed, 26 Nov 2025 18:00:30 +0100
Subject: [PATCH 2/3] app-maps added for threema-beta to use gnome keyring

---
 .local/bin/{tools => app-maps}/discord | 0
 .local/bin/app-maps/threema-beta       | 2 ++
 2 files changed, 2 insertions(+)
 rename .local/bin/{tools => app-maps}/discord (100%)
 create mode 100755 .local/bin/app-maps/threema-beta

diff --git a/.local/bin/tools/discord b/.local/bin/app-maps/discord
similarity index 100%
rename from .local/bin/tools/discord
rename to .local/bin/app-maps/discord
diff --git a/.local/bin/app-maps/threema-beta b/.local/bin/app-maps/threema-beta
new file mode 100755
index 0000000..ea2ccd8
--- /dev/null
+++ b/.local/bin/app-maps/threema-beta
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec $(export XDG_CURRENT_DESKTOP="GNOME" && threema-beta)

From 1718f9ec75111c2a8a87a61e496fa46a000f1204 Mon Sep 17 00:00:00 2001
From: tiyn <tiyn@posteo.eu>
Date: Wed, 26 Nov 2025 18:06:38 +0100
Subject: [PATCH 3/3] threema-beta mapping fixed

---
 .local/bin/app-maps/threema-beta | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.local/bin/app-maps/threema-beta b/.local/bin/app-maps/threema-beta
index ea2ccd8..abba033 100755
--- a/.local/bin/app-maps/threema-beta
+++ b/.local/bin/app-maps/threema-beta
@@ -1,2 +1,3 @@
 #!/bin/sh
-exec $(export XDG_CURRENT_DESKTOP="GNOME" && threema-beta)
+export XDG_CURRENT_DESKTOP="GNOME"
+exec /usr/bin/threema-beta "$@"