From: Peizhao Ou Date: Mon, 29 Feb 2016 07:51:41 +0000 (-0800) Subject: edits X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=932e489826f3ee82da3e22d357ce56fa5695026f;p=cdsspec-compiler.git edits --- diff --git a/src/edu/uci/eecs/codeGenerator/Environment.java b/src/edu/uci/eecs/codeGenerator/Environment.java index 5e16b15..bbdfa9e 100644 --- a/src/edu/uci/eecs/codeGenerator/Environment.java +++ b/src/edu/uci/eecs/codeGenerator/Environment.java @@ -37,7 +37,8 @@ public class Environment { public final static String MPMC = "mpmc-queue"; public final static String[] Benchmarks = { - REGISTER, + REGISTER_ACQREL, + REGISTER_RELAXED, MS_QUEUE, LINUXRWLOCKS, MCS_LOCK,