From e4d39420942d0a61ac260907bb32bb56a6197f45 Mon Sep 17 00:00:00 2001 From: Tristan Ravitch Date: Mon, 13 Nov 2017 23:33:07 -0800 Subject: [PATCH] Update the semmc submodules for some more instruction semantics --- submodules/semmc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submodules/semmc b/submodules/semmc index 503523b2..cb33b763 160000 --- a/submodules/semmc +++ b/submodules/semmc @@ -1 +1 @@ -Subproject commit 503523b20d54330c1029e5f75d9c161870f56df2 +Subproject commit cb33b7633c78fadb7e31bcffbc6a2c97739f888f