balddenimhero Joined on October 28, 2017

4 public recordings by balddenimhero

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

by balddenimhero 14 days ago

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

by balddenimhero 3 years ago

Z3 issue #2784 01:12

by balddenimhero 5 years ago

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

by balddenimhero 7 years ago featured