| Age | Commit message (Expand) | Author |
|---|
| 2012-10-24 | Patch by Jonathan Neuschäfer fixing inconsistency in Tutorial 1. | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew, updating klee-files.html to mention the recently | Cristian Cadar |
| 2012-10-04 | Added more info on dependencies and a link to Andrei Porumb's recent post on ... | Cristian Cadar |
| 2012-09-12 | Restructured the command-line options for setting the search | Cristian Cadar |
| 2012-08-15 | Added note about the scope of the CDE package. | Cristian Cadar |
| 2012-08-15 | Added dejagnu to the installation instructions. | Cristian Cadar |
| 2012-07-31 | Added another link to a system building upon KLEE, S2E. | Cristian Cadar |
| 2012-07-20 | Added links to two more systems based on KLEE: Cloud9 and KleeNet. | Cristian Cadar |
| 2012-06-20 | Web page updates: (1) Improved documentation on files generated by | Cristian Cadar |
| 2012-04-07 | Added back the unittests to GetStarted, after Peter's recent fix. | Cristian Cadar |
| 2012-04-05 | Removed unnecessary --init-env option. | Cristian Cadar |
| 2012-04-05 | Updated and simplified installation instructions. | Cristian Cadar |
| 2012-03-30 | Four new KLEE-related publications. | Cristian Cadar |
| 2012-01-18 | Updated uclibc archives to work with current installation instructions. | Cristian Cadar |
| 2011-11-10 | Added new publication from Columbia. | Cristian Cadar |
| 2011-09-27 | Changed Tutorial 1, which was causing confusion due to differences in | Cristian Cadar |
| 2011-08-22 | Added new publication from RWTH Aachen. | Cristian Cadar |
| 2011-07-28 | Added two publications from EPFL, fixed a typo. | Cristian Cadar |
| 2011-07-26 | Added a link to the searchable archive created by David R. | Cristian Cadar |
| 2011-07-24 | Added the CAV 2011 paper from Stanford. | Cristian Cadar |
| 2011-07-24 | Improved installation instructions a bit, and changed the | Cristian Cadar |
| 2011-07-21 | Add our EuroSys paper to the publications list | Peter Collingbourne |
| 2011-05-26 | Added instructions from Philip Guo about trying out KLEE via CDE. | Cristian Cadar |
| 2011-04-22 | Add a note about the git mirror | Peter Collingbourne |
| 2011-03-28 | Start sketching a list of open projects. | Daniel Dunbar |
| 2010-12-11 | Added two more papers. | Cristian Cadar |
| 2010-12-10 | Added a new KLEE-related paper, and fixed some typos. | Cristian Cadar |
| 2010-12-09 | Added a webpage on KLEE-related publications. | Cristian Cadar |
| 2010-12-09 | Moved maze example to the Tutorials page. | Cristian Cadar |
| 2010-10-28 | Add a link to a neat KLEE usage example. | Daniel Dunbar |
| 2010-07-31 | Update getting started page to recommend 2.7 instead of 2.6. | Daniel Dunbar |
| 2010-07-14 | Add option to use an external version of STP | Peter Collingbourne |
| 2010-06-25 | Clarify that expression labels are globally scoped. | Daniel Dunbar |
| 2010-06-13 | Tweak webpage, and link to KLEE buildbot. | Daniel Dunbar |
| 2010-05-02 | Added a link to a version of uclibc that compiles on x64. Thanks to | Cristian Cadar |
| 2010-02-26 | Test commit. | Daniel Dunbar |
| 2009-10-25 | Update instructions to suggest using llvm-gcc 2.6. | Daniel Dunbar |
| 2009-10-25 | Update instructions to suggest using LLVM 2.6. | Daniel Dunbar |
| 2009-08-05 | Write "Step 6: Replaying KLEE generated test cases", using klee-replay. | Daniel Dunbar |
| 2009-08-02 | Add instructions on how to build with POSIX/uClibc support to GetStarted page. | Daniel Dunbar |
| 2009-07-26 | A quick editing pass. | Daniel Dunbar |
| 2009-07-26 | Start writing a user focused coreutils case study. | Daniel Dunbar |
| 2009-07-11 | Update documentation for Not, and normalize some formatting. | Daniel Dunbar |
| 2009-06-20 | KQuery documentation: division and shift operations. | Cristian Cadar |
| 2009-06-07 | Implement array declarations. | Daniel Dunbar |
| 2009-06-07 | Eliminate anonymous versions. | Daniel Dunbar |
| 2009-06-06 | Document the KQuery language. | Daniel Dunbar |
| 2009-06-04 | Small changes to the web page (changed some links on the main page, | Cristian Cadar |
| 2009-05-28 | Changes to webpage to make both tutorials use the same template. | Cristian Cadar |
| 2009-05-27 | Move the regular expression example to "Tutorial Two". | Daniel Dunbar |
