about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2015-03-03 13:54:09 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2015-03-03 13:54:09 +0000
commit93b5671574cb1922e13ead59493dcc185e9c626d (patch)
tree9fd8aab366da11e554f419c443ab17f43efaf3e7
parent74160196dd50284396a145be244eef01291afc57 (diff)
downloadklee-93b5671574cb1922e13ead59493dcc185e9c626d.tar.gz
Consistent capitalization of "KLEE"
-rw-r--r--README.md4
-rw-r--r--TODO.txt2
2 files changed, 3 insertions, 3 deletions
diff --git a/README.md b/README.md
index bbf9ebc9..e894ebc1 100644
--- a/README.md
+++ b/README.md
@@ -1,9 +1,9 @@
-Klee Symbolic Virtual Machine
+KLEE Symbolic Virtual Machine
 =============================
 
 [![Build Status](https://travis-ci.org/klee/klee.svg?branch=master)](https://travis-ci.org/klee/klee)
 
-`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
diff --git a/TODO.txt b/TODO.txt
index 1e583dad..e547d1bc 100644
--- a/TODO.txt
+++ b/TODO.txt
@@ -12,7 +12,7 @@ Build System / Configure / Release Cleanups
  o Need a way to hide LLVM options in "klee --help".
 
 
-Klee Internal
+KLEE Internal
 --
  o Make sure that namespaces and .cpp locations match with reorganized
    include locations.