speed up shift/rot formal proof by running stuff in parallel
[soc.git] / COPYING.LGPLv3
2020-08-24 Luke Kenneth Casso... reminder that the license (reflecting what is in setup...