inesc-id-esw/jvstm — pull request #15 by smmf (2014-09-26 14:45:23+00:00)
Title: Rename UnsafeParallelTransaction to DisjointParallelTransaction

Fixes #12