| Age | Commit message (Expand) | Author |
|---|
| 2013-07-19 | Paper on redundant state detection. | Cristian Cadar |
| 2013-07-11 | Patch by Jonathan Neuschäfer: "fix reference to posix/uclibc step" | Cristian Cadar |
| 2013-07-01 | Developer's guide by Dan Liew, with a few changes from me. | Cristian Cadar |
| 2013-06-27 | Testing whether commit messages still work. | Cristian Cadar |
| 2013-06-12 | Patch by Jonathan Neuschäfer, updating link to CDE. | Cristian Cadar |
| 2013-05-07 | Patch by Dan Liew: "Added examples of using updates in KQuery documentation." | Cristian Cadar |
| 2013-05-07 | Patch by Dan Liew: 'Improved clarity of KQuery documentation by changing "ver... | Cristian Cadar |
| 2013-05-07 | Patch by Dan Liew: "EBNF for constant array initialisation in KQuery document... | Cristian Cadar |
| 2013-05-07 | Patch by Dan Liew that fixes an incorrect example in the KQuery documention. | Cristian Cadar |
| 2013-05-01 | Updates to publications page, in particular two extra papers. | Cristian Cadar |
| 2013-03-06 | Two more FAQs related to the Coreutils experiments. | Cristian Cadar |
| 2013-02-15 | Three more KLEE-related papers. | Cristian Cadar |
| 2013-01-23 | Updated text referring to the old mailing list on keeda. | Cristian Cadar |
| 2013-01-22 | Some information about the Coreutils experiments presented in the KLEE OSDI p... | Cristian Cadar |
| 2013-01-22 | Added a note about ulimit in the installation instructions; thanks to Hristin... | Cristian Cadar |
| 2013-01-11 | Documentation for klee-stats by Tomasz Kuchta. | Cristian Cadar |
| 2013-01-11 | Improved a bit the documentation for testing Coreutils. Thanks to Tomasz Kuc... | Cristian Cadar |
| 2013-01-06 | Some documentation on query logging. | Cristian Cadar |
| 2012-12-12 | Updated mailing list info + other small changes. | Cristian Cadar |
| 2012-12-04 | Message about the mailing list being down. | Cristian Cadar |
| 2012-11-04 | Fix by Tomek Kuchta to Tutorial 1. | Cristian Cadar |
| 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 |
