about summary refs log tree commit diff homepage
path: root/www
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-19Paper on redundant state detection.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186669 91177308-0d34-0410-b5e6-96231b3b80d8
2013-07-11Patch by Jonathan Neuschäfer: "fix reference to posix/uclibc step"Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186099 91177308-0d34-0410-b5e6-96231b3b80d8
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-06-27Testing whether commit messages still work.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@185074 91177308-0d34-0410-b5e6-96231b3b80d8
2013-06-12Patch by Jonathan Neuschäfer, updating link to CDE. Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@183848 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew: "Added examples of using updates in KQuery documentation."Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181310 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew: 'Improved clarity of KQuery documentation by changing ↵Cristian Cadar
"version-specifier" to "version"' git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181309 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew: "EBNF for constant array initialisation in KQuery ↵Cristian Cadar
documentation improvement." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181308 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew that fixes an incorrect example in the KQuery documention. Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181307 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-01Updates to publications page, in particular two extra papers.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@180862 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-06Two more FAQs related to the Coreutils experiments.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176591 91177308-0d34-0410-b5e6-96231b3b80d8
2013-02-15Three more KLEE-related papers.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@175261 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-23Updated text referring to the old mailing list on keeda.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173271 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-22Added a note about ulimit in the installation instructions; thanks to ↵Cristian Cadar
Hristina Palikareva for pointing this out. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173185 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-11Improved a bit the documentation for testing Coreutils. Thanks to Tomasz ↵Cristian Cadar
Kuchta for his help. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@172186 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-12-12Updated mailing list info + other small changes.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@170032 91177308-0d34-0410-b5e6-96231b3b80d8
2012-12-04Message about the mailing list being down.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@169327 91177308-0d34-0410-b5e6-96231b3b80d8
2012-11-04Fix by Tomek Kuchta to Tutorial 1.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@167371 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Patch by Jonathan Neuschäfer fixing inconsistency in Tutorial 1.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166574 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-24Patch by Dan Liew, updating klee-files.html to mention the recentlyCristian Cadar
added SMTLIB options. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166570 91177308-0d34-0410-b5e6-96231b3b80d8
2012-10-04Added more info on dependencies and a link to Andrei Porumb's recent post on ↵Cristian Cadar
installing KLEE on Ubuntu 12.04 git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165221 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
2012-08-15Added note about the scope of the CDE package.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161970 91177308-0d34-0410-b5e6-96231b3b80d8
2012-08-15Added dejagnu to the installation instructions.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161968 91177308-0d34-0410-b5e6-96231b3b80d8
2012-07-31Added another link to a system building upon KLEE, S2E.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161057 91177308-0d34-0410-b5e6-96231b3b80d8
2012-07-20Added links to two more systems based on KLEE: Cloud9 and KleeNet.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@160548 91177308-0d34-0410-b5e6-96231b3b80d8
2012-06-20Web page updates: (1) Improved documentation on files generated byCristian Cadar
KLEE; (2) Fixed a couple of errors in Tutorial One, pointed out by Hristina Palikareva. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@158834 91177308-0d34-0410-b5e6-96231b3b80d8
2012-04-07Added back the unittests to GetStarted, after Peter's recent fix.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154257 91177308-0d34-0410-b5e6-96231b3b80d8
2012-04-05Removed unnecessary --init-env option.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154110 91177308-0d34-0410-b5e6-96231b3b80d8
2012-04-05Updated and simplified installation instructions. Cristian Cadar
Switched to LLVM 2.9 and to SVN version 940 of STP. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154107 91177308-0d34-0410-b5e6-96231b3b80d8
2012-03-30Four new KLEE-related publications.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@153745 91177308-0d34-0410-b5e6-96231b3b80d8
2012-01-18Updated uclibc archives to work with current installation instructions.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@148405 91177308-0d34-0410-b5e6-96231b3b80d8
2011-11-10Added new publication from Columbia.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@144295 91177308-0d34-0410-b5e6-96231b3b80d8
2011-09-27Changed Tutorial 1, which was causing confusion due to differences inCristian Cadar
LLVM code generation before and after LLVM 2.8. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@140602 91177308-0d34-0410-b5e6-96231b3b80d8
2011-08-22Added new publication from RWTH Aachen.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@138232 91177308-0d34-0410-b5e6-96231b3b80d8
2011-07-28Added two publications from EPFL, fixed a typo. Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@136350 91177308-0d34-0410-b5e6-96231b3b80d8
2011-07-26Added a link to the searchable archive created by David R.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@136104 91177308-0d34-0410-b5e6-96231b3b80d8
2011-07-24Added the CAV 2011 paper from Stanford.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@135895 91177308-0d34-0410-b5e6-96231b3b80d8
2011-07-24Improved installation instructions a bit, and changed theCristian Cadar
"officially supported" version of LLVM from 2.7 to 2.8. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@135894 91177308-0d34-0410-b5e6-96231b3b80d8
2011-07-21Add our EuroSys paper to the publications listPeter Collingbourne
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@135677 91177308-0d34-0410-b5e6-96231b3b80d8
2011-05-26Added instructions from Philip Guo about trying out KLEE via CDE. Cristian Cadar
Added a menu on the Getting Started webpage. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@132142 91177308-0d34-0410-b5e6-96231b3b80d8
2011-04-22Add a note about the git mirrorPeter Collingbourne
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@129989 91177308-0d34-0410-b5e6-96231b3b80d8
2011-03-28Start sketching a list of open projects.Daniel Dunbar
Currently this is focused on things which are well understood, it is intended to be a place to start hacking on KLEE, not a list of research projects in symbolic execution. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@128407 91177308-0d34-0410-b5e6-96231b3b80d8
2010-12-11Added two more papers.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121615 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 14:33:07 +0000