socialg.it will shutdown on the 8th of February 2021 in favour of a new Git hosting system (Gitea) at git.socialnerds.org. Read the blog post.

psimsmt

psimsmt

A simple virtual machine for simulating random sequences of memory access by concurrent programs.