diff options
| author | Haneef Mubarak <haneefmubarak@users.noreply.github.com> | 2014-05-12 22:02:06 -0700 |
|---|---|---|
| committer | Haneef Mubarak <haneefmubarak@users.noreply.github.com> | 2014-05-12 22:02:06 -0700 |
| commit | 185c811b1bf643d7876473e05d15c79b66840102 (patch) | |
| tree | 32cafe7df86d48067907b86cfc5ebf91957bb709 | |
| parent | 5d8db05524f5216900e952c3e1fc2aac9c424391 (diff) | |
| download | klee-185c811b1bf643d7876473e05d15c79b66840102.tar.gz | |
Update and rename README.txt to README.md
Make it look nicer! :smile:
| -rw-r--r-- | README.md (renamed from README.txt) | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/README.txt b/README.md index 96d60a9e..fd724614 100644 --- a/README.txt +++ b/README.md @@ -1,8 +1,7 @@ -//===----------------------------------------------------------------------===// -// Klee Symbolic Virtual Machine -//===----------------------------------------------------------------------===// +Klee Symbolic Virtual Machine +============================= -klee is a symbolic virtual machine built on top of the LLVM compiler +`klee` is a symbolic virtual machine built on top of the LLVM compiler infrastructure. Currently, there are two primary components: 1. The core symbolic virtual machine engine; this is responsible for @@ -21,4 +20,4 @@ environment that matches a computed test input, including setting up files, pipes, environment variables, and passing command line arguments. -For further information, see the webpage or docs in www/. +For further information, see the [webpage](http://klee.github.io/klee/). |