Prototype tool for verification and automatic fence insertion for parallel programs under relaxed memory models. Currently supports the TSO memory model. Download an installable tar-ball at http://user.it.uu.se/~carle968/memorax-0.1.1.tar.gz .