| Age | Commit message (Expand) | Author |
|---|
| 2019-03-19 | Use debugging information from newer LLVM versions | Martin Nowack |
| 2019-03-19 | Refactor InstructionInfoTable | Martin Nowack |
| 2019-03-18 | Disable optimisation for functions that contain KLEE calls | Martin Nowack |
| 2019-03-17 | run VerifierPass after optimization and instrumentation | Julian Büning |
| 2019-03-15 | Created a new module-related option category and moved the options in KModule... | Cristian Cadar |
| 2019-03-11 | Add support for LLVM 8.0 | Martin Nowack |
| 2018-10-26 | llvm7: handle new header files | Jiri Slaby |
| 2018-10-26 | llvm7: WriteBitcodeToFile takes Module & | Jiri Slaby |
| 2018-10-24 | Added lowering pass | Rafael Zaehl |
| 2018-09-18 | llvm4: handle different header names | Jiri Slaby |
| 2018-09-10 | Unify the error message if that function has not been found. | Martin Nowack |
| 2018-09-10 | Fix generation of global constructors and destructors | Martin Nowack |
| 2018-08-03 | Replace remaining *Inst::Create() calls with llvm::Builder | Martin Nowack |
| 2018-07-28 | remove last comma from -debug-print-escaping-functions | Julian Büning |
| 2018-07-28 | add declarations to escapingFunctions | Julian Büning |
| 2018-07-04 | Reorder linking and optimizations | Martin Nowack |
| 2018-05-09 | Remove the option for truncating lines in assembly.ll | Martin Nowack |
| 2018-05-09 | Remove workaround for bug in older LLVM version (< 3) | Martin Nowack |
| 2018-05-09 | Fix include files | Martin Nowack |
| 2017-08-09 | Fixed a compiler warning (unused variable) | Cristian Cadar |
| 2017-08-04 | Removed merging searchers | Lukas Wölfer |
| 2017-07-25 | Added the const qualifier to the keys in the constantMap | Cristian Cadar |
| 2017-07-23 | Remove support for LLVM < 3.4 | Martin Nowack |
| 2017-07-20 | Merge pull request #657 from delcypher/vectorized_instructions | Cristian Cadar |
| 2017-07-20 | Replace assertions of types on LLVM instructions in the Executor with a | Dan Liew |
| 2017-07-19 | Implement basic support for vectorized instructions. | Dan Liew |
| 2017-07-18 | Merge pull request #672 from jirislaby/llvm40_static_casts | Andrea Mattavelli |
| 2017-06-16 | llvm37: introduce type for PassManager | Jiri Slaby |
| 2017-06-15 | llvm: get rid of static_casts from iterators | Jiri Slaby |
| 2017-06-12 | llvm: don't use clEnumValEnd for LLVM 4.0 | Jiri Slaby |
| 2017-05-24 | llvm: make KLEE compile against LLVM 3.5 and 3.6 | Richard Trembecký |
| 2017-02-28 | convert iterators using static_cast | Jiri Slaby |
| 2017-02-25 | llvm: stop using global context | Jiri Slaby |
| 2016-09-16 | Avoid internalization of non-standard entry point (i.e. not the main function... | Andrea Mattavelli |
| 2015-12-17 | Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support... | Martin Nowack |
| 2014-09-15 | Removed inlineChecks() function which was just dead code. | Dan Liew |
| 2014-09-14 | [LLVM3.5] Update for more random headers moving around. | Daniel Dunbar |
| 2014-09-14 | [LLVM3.5] Update for CallSite.h move into IR/. | Daniel Dunbar |
| 2014-09-14 | [LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE. | Daniel Dunbar |
| 2014-09-13 | Add KLEE specific DEBUG macros. | Daniel Dunbar |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
| 2014-04-14 | Tidy up code by using LLVM's V2 path API only and removing uses | Dan Liew |
| 2014-04-14 | Use SmallString and llvm::sys::path/fs API of LLVM 3.4 because | Martin Nowack |
| 2014-01-17 | Make KLEE fail in case main function is missing | Martin Nowack |
| 2013-12-19 | Optimize inlineChecks function | Martin Nowack |
| 2013-12-19 | Allow to specify KLEE-internal functions | Martin Nowack |
| 2013-12-06 | Remove stoppoint references | Martin Nowack |
| 2013-12-06 | Deprecate LLVM 2.8 and lower | Martin Nowack |
| 2013-12-05 | Free used constants if not used anymore | Martin Nowack |
| 2013-10-29 | Merge pull request #26 from delcypher/fix_divide_by_zero | Paul |
