From a9cfb4734c7abb86c5e3f8e6768805cee280f914 Mon Sep 17 00:00:00 2001
From: Stanislav Pankevich <s.pankevich@gmail.com>
Date: Wed, 20 Dec 2017 14:56:19 +0100
Subject: [PATCH] New section: History of symbolic execution.

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README.md b/README.md
index 433d52c..3d2ddb9 100644
--- a/README.md
+++ b/README.md
@@ -32,6 +32,13 @@
 * [Symbolic Execution Lecture (part of Software Security course on Coursera)](https://www.coursera.org/learn/software-security/lecture/agCNF/introducing-symbolic-execution).
 
 
+## History
+
+[symbolic-execution](https://github.com/enzet/symbolic-execution)
+
+> History of symbolic execution
+
+
 ## Tools