| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-09-12 | Revert "Patch by Dan Liew: "Improved AutoRegen script so that it supports ↵ | Daniel Dunbar | |
| newer versions of autoconf"" The entire point of this version check in this script is so that configure is only generated with one exact version of autotools, so that it doesn't get spurious diffs from people generating it with different versions. This is the approach used by LLVM, and I'd like to stick to it. Most people don't regenerate these files, so it falls on the people who do to install the appropriate versions of the tools. If we want to change this policy, we should just drop the version checks completely. | |||
| 2014-07-21 | Merge pull request #113 from antiAgainst/klee-stats | Cristian Cadar | |
| klee-stats refactoring and improvement by antiAgainst: "this includes changing from OptionParser to ArgumentParser, rewriting not-pythonic code, respecting PEP8, etc; Adding line chart drawing in klee-stats." | |||
| 2014-07-18 | Refactor klee-stats and add simple line chart drawing functionality. | Lei Zhang | |
| 2014-07-10 | Merge pull request #137 from MartinNowack/fix_cxx_standard | Cristian Cadar | |
| Fix to avoid warning message taking address of main | |||
| 2014-07-09 | Fix to avoid warning message taking address of main | Martin Nowack | |
| 2014-07-04 | Merge pull request #133 from delcypher/fix_empty_error_report | Cristian Cadar | |
| Fix regression reported by Michael Esser and Andrew Watson | |||
| 2014-07-04 | Fix regression reported by Michael Esser and Andrew Watson | Dan Liew | |
| (independently). In our recently switch to llvm::raw_ostream (and friends) (I think this is d934d983692c8952cdb887cbcd59f2df0001b9c0) we forgot to flush the llvm::raw_string_ostream to the underlying string used for error report files (e.g. test000001.overshift.err) so we would end up writing an empty string to error report files. Also added a test case to catch this. | |||
| 2014-06-06 | Merge pull request #129 from ahorn/master | Cristian Cadar | |
| Add SimplifyExpressions command line option | |||
| 2014-05-30 | Merge pull request #117 from MartinNowack/llvm_raw_ostream | MartinNowack | |
| Refactor std::ostreams to llvm::raw_ostream and minor cleanups | |||
| 2014-05-30 | Fix ExprTest under LLVM 2.9 | Martin Nowack | |
| 2014-05-29 | Use LLVM DEBUG macro instead of #if 0 or #if DEBUG | Martin Nowack | |
| 2014-05-29 | Fix header | Martin Nowack | |
| 2014-05-29 | Avoid non-explicit use of functions from std namespace in KLEE | Martin Nowack | |
| 2014-05-29 | Remove #include <iostream> to avoid static constructors | Martin Nowack | |
| iostream injects static constructor function into every compilation unit. Remove this to avoid it. | |||
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack | |
| According to LLVM: lightweight and simpler implementation of streams. | |||
| 2014-05-19 | Rename command line option for equality substitutions | ahorn | |
| 2014-05-16 | Changed StaticDestructor.cpp to use uclibc and disable optimizations explicitly. | Cristian Cadar | |
| 2014-05-13 | Merge pull request #131 from haneefmubarak/patch-1 | Cristian Cadar | |
| Update and rename README.txt to README.md | |||
| 2014-05-12 | Update and rename README.txt to README.md | Haneef Mubarak | |
| Make it look nicer! :smile: | |||
| 2014-05-12 | Merge pull request #124 from pcc/sort | Dan Liew | |
| Fix the logic in ExprSMTLIBPrinter::getSort | |||
| 2014-05-12 | Add SimplifyExpressions command line option | ahorn | |
| Allow users to bypass ConstraintManager::simplifyExpr(ref<Expr>). | |||
| 2014-05-11 | Fix the logic in ExprSMTLIBPrinter::getSort | Peter Collingbourne | |
| This now corresponds to the sorts of the operations we emit, as far as I can tell. Read is one example of an operation that now works correctly (with 1-bit array ranges). It's also possible (but not very useful, and I don't think KLEE can produce it) for other operations such as Add to operate on 1-bit values, and this patch also fixes those. | |||
| 2014-04-24 | Merge pull request #122 from hpalikareva/metasmt-array-order | Dan Liew | |
| Fixed order of domain and range in array creation in MetaSMTBuilder. | |||
| 2014-04-24 | Fixed order of domain and range in array creation in MetaSMTBuilder. | Hristina Palikareva | |
| 2014-04-24 | Merge pull request #121 from hpalikareva/domain-range-metasmt | Dan Liew | |
| Fixed creation of arrays with variable domains and ranges in STPBuilder ... | |||
| 2014-04-24 | Fixed creation of arrays with variable domains and ranges in STPBuilder and ↵ | Hristina Palikareva | |
| MetaSMTBuilder. | |||
| 2014-04-24 | Merge pull request #116 from MartinNowack/fix_malloc | Dan Liew | |
| Fix handling of memory usage in KLEE. | |||
| 2014-04-24 | Merge pull request #120 from hpalikareva/order-link-libs | Dan Liew | |
| Fixing linking order if metaSMT is used: linking rt after z3 to avoid un... | |||
| 2014-04-24 | Removed ununsed Executor field in WeightedRandomSearcher to silence | Dan Liew | |
| clang warning. | |||
| 2014-04-24 | Remove unused pointer to STPSolver in STPSolverImpl to silence clang | Dan Liew | |
| warning. | |||
| 2014-04-24 | Renamed GetTotalMemoryUsage to GetTotalMallocUsage | Martin Nowack | |
| 2014-04-24 | Modify klee::util::GetTotalMemoryUsage() so that if the system is | Dan Liew | |
| not using glibc the malloc usage if computed differently. | |||
| 2014-04-24 | Have configure check for presense of mallinfo for the newly added | Dan Liew | |
| klee::util::GetTotalMemoryUsage() | |||
| 2014-04-24 | Fix handling of memory usage in KLEE. | Martin Nowack | |
| Memory usage API in LLVM since 3.3 is not working the way it is intended by KLEE. This ports the pre 3.3. version to KLEE. Fixes the malloc test case. | |||
| 2014-04-24 | Add missing newline at end of file to silence a clang warning. | Dan Liew | |
| 2014-04-24 | Merge pull request #112 from hpalikareva/domain-range-extra | Dan Liew | |
| Removing a few more hard-coded values for domains and ranges of Array ob... | |||
| 2014-04-24 | Asserting that update lists have non-NULL roots within ReadExpr objects (update | Hristina Palikareva | |
| lists can have NULL roots, e.g. in MemoryObject instances with concrete contents, where root is allocated lazily only when the updates are required). Also checking whether array updates are typed correctly in UpdateList::extend() rather than in the constructor of UpdateNode (only for update lists with non-NULL roots). | |||
| 2014-04-23 | Fixing linking order if metaSMT is used: linking rt after z3 to avoid ↵ | Hristina Palikareva | |
| undefined symbols in the z3 library. | |||
| 2014-04-16 | Removing a few more hard-coded values for domains and ranges of Array objects | Hristina Palikareva | |
| 2014-04-16 | Merge pull request #111 from s-falke/no_uclibc | Dan Liew | |
| Fixed compilation error if uClibc is not used. | |||
| 2014-04-16 | Merge pull request #110 from pcc/domain-range | Dan Liew | |
| Associate a domain and range with each array | |||
| 2014-04-16 | Fixed compilation error if uClibc is not used. | Stephan Falke | |
| 2014-04-15 | Associate a domain and range with each array | Peter Collingbourne | |
| 2014-04-15 | Merge pull request #104 from MartinNowack/llvm_34 | MartinNowack | |
| Merge support for LLVM 3.4 | |||
| 2014-04-15 | Fix handling of path name creation. | Martin Nowack | |
| If directory has no trailing slash, the slash is not addedd if concatenated | |||
| 2014-04-14 | Fix compilation under LLVM2.9. SmallString in this old version does | Dan Liew | |
| not have the equals() method. | |||
| 2014-04-14 | fix TOCTOU and simplify output directory creation | Frank Busse | |
| 2014-04-14 | Fix mistake in StatsTracker. It should be reporting process ID but | Dan Liew | |
| instead it was reporting real user ID of the process. | |||
| 2014-04-14 | Replace sys::Process::GetCurrentUserId() with getuid() because it | Dan Liew | |
| has been removed in LLVM3.4 | |||
| 2014-04-14 | Do not add SimplifyLibCallsPass for LLVM 3.4 and newer because | Dan Liew | |
| it has been removed. From the LLVM 3.4 release notes: " The library call simplification pass has been removed. Its functionality has been integrated into the instruction combiner and function attribute marking passes. " | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |