MIRROR of https://codeberg.org/catseye/Matchbox : A toy race-condition finder that can demonstrate Peterson's algorithm - View it on GitHub