about summary refs log tree commit diff homepage
path: root/www
AgeCommit message (Collapse)Author
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
2010-12-10Added a new KLEE-related paper, and fixed some typos.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121480 91177308-0d34-0410-b5e6-96231b3b80d8
2010-12-09Added a webpage on KLEE-related publications.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121429 91177308-0d34-0410-b5e6-96231b3b80d8
2010-12-09Moved maze example to the Tutorials page.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121394 91177308-0d34-0410-b5e6-96231b3b80d8
2010-10-28Add a link to a neat KLEE usage example.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@117574 91177308-0d34-0410-b5e6-96231b3b80d8
2010-07-31Update getting started page to recommend 2.7 instead of 2.6.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@109941 91177308-0d34-0410-b5e6-96231b3b80d8
2010-07-14Add option to use an external version of STPPeter Collingbourne
This patch adds a new configure option, --with-stp, which configures KLEE to use an external version of STP instead of the version in the source tree. It includes documentation referring users to the STP download location. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108347 91177308-0d34-0410-b5e6-96231b3b80d8
2010-06-25Clarify that expression labels are globally scoped.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106817 91177308-0d34-0410-b5e6-96231b3b80d8
2010-06-13Tweak webpage, and link to KLEE buildbot.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@105926 91177308-0d34-0410-b5e6-96231b3b80d8
2010-05-02Added a link to a version of uclibc that compiles on x64. Thanks toCristian Cadar
Cristian Zamfir for sharing this version with everybody. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102878 91177308-0d34-0410-b5e6-96231b3b80d8
2010-02-26Test commit.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@97190 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-25Update instructions to suggest using llvm-gcc 2.6.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85080 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-25Update instructions to suggest using LLVM 2.6.Daniel Dunbar
Also, link TestingCoreutils document from tutorials page. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@85025 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05Write "Step 6: Replaying KLEE generated test cases", using klee-replay.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@78168 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-02Add instructions on how to build with POSIX/uClibc support to GetStarted page.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77924 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-26A quick editing pass.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77157 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-26Start writing a user focused coreutils case study.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77156 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-11Update documentation for Not, and normalize some formatting.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75373 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-20KQuery documentation: division and shift operations.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73814 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-07Implement array declarations.Daniel Dunbar
- Printing current prints all declarations, and we allow redefinition, since the printer doesn't know what has already been printed. - Names don't print right yet, since the Array* object doesn't have the name. - Various things are unsupported. o Array domain/range must be w32/w8. o Concrete initializers for arrays are unsupported. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73026 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-07Eliminate anonymous versions.Daniel Dunbar
- For now, this means the isRooted flag for arrays isn't propogated to the kquery language. We should figure out how to do this, but allow anonymous versions isn't the right way. Also, improved the error on invalid writes a bit. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73018 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-06Document the KQuery language.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72997 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-04Small changes to the web page (changed some links on the main page,Cristian Cadar
added a documentation page). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72843 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-28Changes to webpage to make both tutorials use the same template.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72515 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-27Move the regular expression example to "Tutorial Two".Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72472 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-23Changed bout to ktest. Kept "BOUT\n" as the header of test files, for ↵Cristian Cadar
backward compatibility. Also changed KLEE_RUNTEST to KTEST_FILE. Updated tutorial-1. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72312 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-23Updates to install guide and first tutorial.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72305 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-22Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.Daniel Dunbar
- For compatibility we still accept 2 argument form of klee_make_symbolic, but this will go away eventually. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72265 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-22Some minor web page tweaks.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72247 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21Start basic Regexp.c example for klee.Daniel Dunbar
- A few other web page tweaks. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72215 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21Started web pages describing the main KLEE tools, and the main filesCristian Cadar
generated by KLEE. Small updates to the CSS file and tutorials.html git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72208 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21Added a first KLEE tutorial.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72207 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21Initial KLEE checkin.Daniel Dunbar
- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-20Web page changes. Added a nice way to format code (div.code) in our CSS file.Cristian Cadar
Added download and install instructions, and a bug report page. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72163 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-19Added empty www/tutorials.html page (test commit to klee repository).Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72123 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-12Add a few useful linksDaniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@71546 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-08More or less a test commit.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@71231 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-08Make menu work w/o being at the top level.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@71228 91177308-0d34-0410-b5e6-96231b3b80d8
2009-03-15Also point at the stanford checking group webpage.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@67020 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 08:10:17 +0000