balddenimhero Joined on October 28, 2017

Recent recordings

Vim v9.0.1118 -> v9.0.1119 performance degradation 0:42

by balddenimhero

vim-smt2 can also format a solver's output 0:20

by balddenimhero

Z3 issue #2784 1:12

by balddenimhero

VIM plugin that supports SMT-LIB2 (incl. Z3's extensions) 0:51

by balddenimhero featured