| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-05-23 | Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa... | Cristian Cadar |
| 2009-05-23 | Updates to install guide and first tutorial. | Cristian Cadar |
| 2009-05-22 | Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name. | Daniel Dunbar |
| 2009-05-22 | Some minor web page tweaks. | Daniel Dunbar |
| 2009-05-21 | Start basic Regexp.c example for klee. | Daniel Dunbar |
| 2009-05-21 | Started web pages describing the main KLEE tools, and the main files | Cristian Cadar |
| 2009-05-21 | Added a first KLEE tutorial. | Cristian Cadar |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
| 2009-05-20 | Web page changes. Added a nice way to format code (div.code) in our CSS file. | Cristian Cadar |
| 2009-05-19 | Added empty www/tutorials.html page (test commit to klee repository). | Cristian Cadar |
| 2009-05-12 | Add a few useful links | Daniel Dunbar |
| 2009-05-08 | More or less a test commit. | Daniel Dunbar |
| 2009-05-08 | Make menu work w/o being at the top level. | Daniel Dunbar |
