inesc-id-esw/DeuceSTM — pull request #2 by fmcarvalho (2013-05-01 23:06:59+00:00)
Title: Fix/benchmarks

Several fixes to the benchmarks included in Deuce STM. It also adds a new build.benchmarks.xml with all the configurations required by each benchmark and to be synchronized with the DeuceSTM.