| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-04-25 | Report the git tag if exists in the output of --version from klee | Dan Liew | |
| and kleaver. | |||
| 2015-04-25 | Give KLEE release version information in the output of klee and kleaver | Dan Liew | |
| when they are given the --version command line option. Unfortunately to make the build type and git revision available we need to check this for every build which means KLEE's support library will be rebuilt for every build which will slow down incremental builds. This addresses issue #231 | |||
| 2013-12-21 | Do not install KLEE's internal libraries. | Dan Liew | |
| 2009-05-21 | Initial 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 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |