Examples and symbolic READMEs [skip ci]

cksystemsteaching · Apr 26, 2020 · ac7c798 · ac7c798
1 parent 3d20e24
commit ac7c798
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 1 deletion.
diff --git a/examples/README.md b/examples/README.md
@@ -0,0 +1,3 @@
+# C\* Code Examples
+
+The code in this directory showcases selfie's programming language C\*. See selfie's Makefile for more details on how to build the examples.
diff --git a/symbolic/README.md b/symbolic/README.md
@@ -0,0 +1,3 @@
+# C\* Code Examples for Symbolic Execution
+
+The code in this directory showcases selfie's symbolic execution capabilities. See selfie's Makefile for more details on how to execute the examples symbolically.
diff --git a/tools/README.md b/tools/README.md
@@ -1,3 +1,3 @@
 # Tools based on Selfie
 
-The code in this directory showcases how to extend selfie, see also selfie's Makefile for more details.
+The code in this directory showcases how to extend selfie. See selfie's Makefile for more details on how to build the tools.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		# C\* Code Examples

		The code in this directory showcases selfie's programming language C\*. See selfie's Makefile for more details on how to build the examples.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		# C\* Code Examples for Symbolic Execution

		The code in this directory showcases selfie's symbolic execution capabilities. See selfie's Makefile for more details on how to execute the examples symbolically.