index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
www
Age
Commit message (
Expand
)
Author
2013-07-25
remove www from master branch
Dominic Chen
2013-07-25
Revert "move website to separate repo"
Dominic Chen
2013-07-25
move website to separate repo
Dominic Chen
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
[next]