about summary refs log tree commit diff homepage
path: root/www/Documentation.html
AgeCommit message (Collapse)Author
2013-07-25remove www from master branchDominic Chen
2013-07-25Revert "move website to separate repo"Dominic Chen
This reverts commit 6ae711b1d900bffbca407fe97d5e5ce97745dff1.
2013-07-25move website to separate repoDominic Chen
2013-07-01Developer's guide by Dan Liew, with a few changes from me. Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@185351 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-22Some information about the Coreutils experiments presented in the KLEE OSDI ↵Cristian Cadar
paper. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173191 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-11Documentation for klee-stats by Tomasz Kuchta.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@172190 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-06Some documentation on query logging.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171657 91177308-0d34-0410-b5e6-96231b3b80d8
2012-09-12Restructured the command-line options for setting the searchCristian Cadar
heuristics in KLEE. The new options are documented at http://klee.llvm.org/klee-options.html. Cleaned a bit the code in UserSearcher.cpp, and fixed some test cases to use the new options. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@163711 91177308-0d34-0410-b5e6-96231b3b80d8
2010-12-09Moved maze example to the Tutorials page.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121394 91177308-0d34-0410-b5e6-96231b3b80d8
2010-10-28Add a link to a neat KLEE usage example.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@117574 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-06Document the KQuery language.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72997 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-04Small changes to the web page (changed some links on the main page,Cristian Cadar
added a documentation page). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72843 91177308-0d34-0410-b5e6-96231b3b80d8