add shell scripts to run the pldi model, like for Flat and Promising

rems-project · Aug 30, 2019 · 5da8929 · 5da8929
1 parent f700553
commit 5da8929
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/pldi11 b/pldi11
@@ -0,0 +1,2 @@
+#!/bin/sh
+$(dirname "$0")/rmem -model pldi11 -shallow_embedding true -eager false -hash_prune false "$@"
diff --git a/pldi11Opt b/pldi11Opt
@@ -0,0 +1,2 @@
+#!/bin/sh
+$(dirname "$0")/rmem -model pldi11 -shallow_embedding true -eager true -hash_prune true "$@"
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		#!/bin/sh
		$(dirname "$0")/rmem -model pldi11 -shallow_embedding true -eager false -hash_prune false "$@"