|
|
|
|
|
|
by bfm
1411 days 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. |
|
|