[–] bfm 3y ago ↗ This 2015 post and the code on the 20k challenge to find correctness and liveness bugs on TiggerBettle's implementation are helping my understand better what VSR is all about.I wonder what other projects are using it in the wild.
1 comment
[ 5.8 ms ] story [ 15.1 ms ] threadI wonder what other projects are using it in the wild.