github.com/aclements/go-misc@v0.0.0-20240129233631-2f6ede80790c/memmodel (about) .gitignore graph.go hb.go hbacqrel.go hbsc.go hbtso.go hbunordered.go main.go outcome.go prog.go sc.go tso.go