POPL 2019 AEC submission

hazelgrove · Oct 24, 2018 · c697436 · c697436
1 parent 1443dde
commit c697436
Show file tree

Hide file tree

Showing 5 changed files with 8,628 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -87,3 +87,5 @@ You can use `dune build --profile debug --auto-promote` instead of `dune build -
 ### Results
 You can now open `src/_build/default/www/hazel.html` in a browser to see Hazel in action.
 
+For the purposes of POPL 2019 artifact evaluation, we included a pre-built version at `popl19aec-www/hazel.html`. Tested with Chromium (64-bit) version 70.0.3538.67.
+
diff --git a/popl19aec-www/dune b/popl19aec-www/dune
@@ -0,0 +1,4 @@
+(include_subdirs no)
+
+(rule
+  (copy ../hazel.bc.js hazel.js))
diff --git a/popl19aec-www/hazel.html b/popl19aec-www/hazel.html
@@ -0,0 +1,19 @@
+<!DOCTYPE html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8">
+    <meta http-equiv="X-UA-Compatible" content="IE=edge">
+    <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
+    <!-- The above 3 meta tags *must* come first in the head; any other head content must come *after* these tags -->
+
+    <title>Hazel</title>
+
+    <link rel="stylesheet" href="style.css">
+  </head>
+
+  <body spellcheck="false">
+    <div class="container" id="container"></div>
+  </body>
+
+  <script src="hazel.js"></script>
+</html>
Original file line number	Diff line number	Diff line change
Expand Up		@@ -87,3 +87,5 @@ You can use `dune build --profile debug --auto-promote` instead of `dune build -
		### Results
		You can now open `src/_build/default/www/hazel.html` in a browser to see Hazel in action.

		For the purposes of POPL 2019 artifact evaluation, we included a pre-built version at `popl19aec-www/hazel.html`. Tested with Chromium (64-bit) version 70.0.3538.67.