4 ms·
I rarely use the Toolbox (especially since I couldn't find a pre-built Toolbox for ARM processors). I'm happy with vim or emacs and I usually have a script (tha
by cmarinas 8y ago
I rarely use the Toolbox (especially since I couldn't find a pre-built Toolbox for ARM processors). I'm happy with vim or emacs and I usually have a script (that also does some massaging on the PlusCal-generated code): https://git.kernel.org/pub/scm/linux/kernel/git/cmarinas/kernel-tla.git/tree/check.sh https://git.kernel.org/pub/scm/linux/kernel/git/cmarinas/ker...