Stub out klee project.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@67019 91177308-0d34-0410-b5e6-96231b3b80d8
Also point at the stanford checking group webpage.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@67020 91177308-0d34-0410-b5e6-96231b3b80d8
Make menu work w/o being at the top level.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@71228 91177308-0d34-0410-b5e6-96231b3b80d8
More or less a test commit.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@71231 91177308-0d34-0410-b5e6-96231b3b80d8
Add a few useful links


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@71546 91177308-0d34-0410-b5e6-96231b3b80d8
Added empty www/tutorials.html page (test commit to klee repository).


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72123 91177308-0d34-0410-b5e6-96231b3b80d8
Web page changes. Added a nice way to format code (div.code) in our CSS file.
Added download and install instructions, and a bug report page.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72163 91177308-0d34-0410-b5e6-96231b3b80d8
Initial KLEE checkin.
 - Lots more tweaks, documentation, and web page content is needed,
   but this should compile & work on OS X & Linux.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8
Missed a couple tests


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72206 91177308-0d34-0410-b5e6-96231b3b80d8
Added a first KLEE tutorial.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72207 91177308-0d34-0410-b5e6-96231b3b80d8
Started web pages describing the main KLEE tools, and the main files
generated by KLEE.  Small updates to the CSS file and tutorials.html



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72208 91177308-0d34-0410-b5e6-96231b3b80d8
Start basic Regexp.c example for klee.
 - A few other web page tweaks.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72215 91177308-0d34-0410-b5e6-96231b3b80d8
Look for Makefile.rules in the right directory.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72246 91177308-0d34-0410-b5e6-96231b3b80d8
Some minor web page tweaks.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72247 91177308-0d34-0410-b5e6-96231b3b80d8
Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.
 - For compatibility we still accept 2 argument form of klee_make_symbolic, but
   this will go away eventually.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72265 91177308-0d34-0410-b5e6-96231b3b80d8
Add missing include (for FreeBSD build)


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72270 91177308-0d34-0410-b5e6-96231b3b80d8
Improve lex support, apparently FreeBSD lex expects -o to take a joined
argument.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72271 91177308-0d34-0410-b5e6-96231b3b80d8
Updates to install guide and first tutorial.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72305 91177308-0d34-0410-b5e6-96231b3b80d8
Renamed klee-bout-tool to ktest-tool.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72306 91177308-0d34-0410-b5e6-96231b3b80d8
Changed bout to ktest.  Kept "BOUT\n" as the header of test files, for backward compatibility.  Also changed KLEE_RUNTEST to KTEST_FILE.  Updated tutorial-1.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72312 91177308-0d34-0410-b5e6-96231b3b80d8