memorax/memorax — pull request #1 by margnus1 (2013-08-26 22:03:50+00:00)
Title: PSO Reachability and Fence Insertion

I have added an abstraction of the PSO memory model and implemented sound and complete reachability analysis for finite data domains.