Age | Commit message (Expand) | Author |
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-20 | Core: TimingSolver, use TimerStatIncrementer | Jiri Slaby |
2017-07-19 | Implement basic support for vectorized instructions. | Dan Liew |
2017-07-18 | Use assembly line for printing debug information | Martin Nowack |
2017-07-18 | Merge pull request #672 from jirislaby/llvm40_static_casts | Andrea Mattavelli |
2017-06-16 | Added location info for external calls and improved a message. | Cristian Cadar |
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-06-08 | Merge pull request #675 from ccadar/varargs | Andrea Mattavelli |
2017-06-08 | Fixed typos in comments related to vararg support. | Cristian Cadar |
2017-05-30 | Merge pull request #655 from Mic92/logging | Cristian Cadar |
2017-05-24 | Rearchitect ExternalDispatcher | Dan Liew |
2017-05-24 | llvm: make KLEE compile against LLVM 3.5 and 3.6 | Richard Trembecký |
2017-05-24 | Remove redundant KLEE prefix while logging | Jörg Thalheim |
2017-04-09 | Removed unused variable 'fake_object' in MemoryObject | Andrea Mattavelli |
2017-03-23 | [WIP] Fix bug where stats would not be updated on early exit caused by | Dan Liew |
2017-03-06 | Merge pull request #611 from jirislaby/getDirectCallTarget | Andrea Mattavelli |
2017-03-05 | Merge pull request #607 from jirislaby/dispatcher | Andrea Mattavelli |
2017-03-03 | Merge pull request #613 from ccadar/minor2 | Andrea Mattavelli |
2017-03-03 | Moved printFileLine() to be part of KInstruction | Cristian Cadar |
2017-03-01 | fix for PathOS.id | gladtbx |
2017-03-01 | Core: explicitly create CallSite from Instruction | Jiri Slaby |
2017-02-28 | Core: MCJIT functions need unique names | Jiri Slaby |
2017-02-28 | convert iterators using static_cast | Jiri Slaby |
2017-02-28 | Merge pull request #547 from delcypher/fix_alignment_of_alloc_memory | Cristian Cadar |
2017-02-25 | llvm: stop using global context | Jiri Slaby |
2017-02-24 | Teach KLEE to respect the requested memory alignment of globals and stack | Dan Liew |
2017-02-21 | Teach `klee::getDirectCallTarget()` to resolve weak aliases. This is | Dan Liew |
2017-02-14 | Increased the type size for the stop-after-n-instructions option to avoid too... | Andrea Mattavelli |
2017-02-13 | Silenced two "control may reach end of non-void function [-Wreturn-type]" com... | Cristian Cadar |
2017-02-13 | Revert "Increased the type size for the stop-after-n-instructions option to a... | Cristian Cadar |
2017-02-13 | Increased the type size for the stop-after-n-instructions option to avoid too... | Andrea Mattavelli |
2016-12-19 | Fix -Wformat warnings emitted by Apple Clang (800.0.42.1). | Dan Liew |
2016-12-15 | Typo fix when compiling with LLVM 3.5 and above | Adrian Herrera |
2016-11-23 | Renamed .pc to .kquery (kleaver query) | Eric Rizzi |
2016-11-19 | Remove option --randomize-fork. If someone needs this, the right way is to i... | Cristian Cadar |
2016-11-19 | Documented the level at which BFS operates in KLEE, as part of --help | Cristian Cadar |
2016-11-19 | Merge branch 'fix_bfs2' of https://github.com/MartinNowack/klee into MartinNo... | Cristian Cadar |
2016-11-19 | Merge pull request #492 from hoangmle/master | Cristian Cadar |
2016-11-18 | [CMake] Remove use of tabs in `CMakeLists.txt` files. | Dan Liew |
2016-11-18 | [CMake] Re-express LLVM and KLEE library dependencies as | Dan Liew |
2016-11-09 | Fix BFS searcher | Martin Nowack |
2016-11-08 | add nicer error messages for --use-merge and add explanation why it currently... | Hoang M. Le |
2016-11-07 | Implement a CMake based build system for KLEE. | Dan Liew |
2016-09-26 | Modified logging information to steer the usage of klee_message, klee_warning... | Andrea Mattavelli |
2016-08-10 | Extended support for assembler raising | Martin Nowack |
2016-08-10 | Merge pull request #451 from andreamattavelli/fix_ub_ptree | MartinNowack |
2016-08-09 | Fix to PTree pointer use-after-delete undefined behavior | Andrea Mattavelli |
2016-08-08 | Merge pull request #447 from hutoTUM/fix-klee_get_obj_size | MartinNowack |