From ac7c798d34b8920fdb489b1165c4d0f231a93752 Mon Sep 17 00:00:00 2001 From: Christoph Kirsch Date: Sun, 26 Apr 2020 11:58:11 +0200 Subject: [PATCH] Examples and symbolic READMEs [skip ci] --- examples/README.md | 3 +++ symbolic/README.md | 3 +++ tools/README.md | 2 +- 3 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 examples/README.md create mode 100644 symbolic/README.md diff --git a/examples/README.md b/examples/README.md new file mode 100644 index 00000000..3784178e --- /dev/null +++ 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. \ No newline at end of file diff --git a/symbolic/README.md b/symbolic/README.md new file mode 100644 index 00000000..1b77ade8 --- /dev/null +++ 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. \ No newline at end of file diff --git a/tools/README.md b/tools/README.md index 72af809b..018263d6 100644 --- 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. \ No newline at end of file +The code in this directory showcases how to extend selfie. See selfie's Makefile for more details on how to build the tools. \ No newline at end of file