about summary refs log tree commit diff homepage
path: root/lib/Core
AgeCommit message (Expand)Author
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-11-30Added pause and continue functionality for states in ExecutorLukas Wölfer
2017-11-24klee_make_symbolic: warn on deprecated usageFrank Busse
2017-10-25fixing huge allocation size constant to be unsignedDavid Trabish
2017-10-15Fixed assert in BFSSearcher that does not hold as part of interleaved searcherJulian Büning
2017-10-12Removed unnecessary and redundant variableAndrea Mattavelli
2017-10-09Fixed initialization of distance to uncovered instructions when KLEE relies o...Andrea Mattavelli
2017-10-06Removed the word 'unsigned' from integer overflow error messagesAndrew Santosa
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-10-03Silenced some warnings about unused variables when assertions are disabled.Cristian Cadar
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-08-09Merge pull request #742 from ccadar/foldCristian Cadar
2017-08-07Untabify this file, which was using a mix of spaces and tabs for alignment.Cristian Cadar
2017-08-07Added checks for div/mod by zero and overshifts in constant expressions. Suc...Cristian Cadar
2017-08-04Removed merging searchersLukas Wölfer
2017-07-29Added an optional KInstruction* argument to evalConstant and evalConstantExpr...Cristian Cadar
2017-07-26Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::listCristian Cadar
2017-07-25This commit simply moves evalConstant to ExecutorUtil (where evalConstantExpr...Cristian Cadar
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-07-20Merge pull request #657 from delcypher/vectorized_instructionsCristian Cadar
2017-07-20Replace assertions of types on LLVM instructions in the Executor with aDan Liew
2017-07-20Core: TimingSolver, use TimerStatIncrementerJiri Slaby
2017-07-19Implement basic support for vectorized instructions.Dan Liew
2017-07-18Use assembly line for printing debug informationMartin Nowack
2017-07-18Merge pull request #672 from jirislaby/llvm40_static_castsAndrea Mattavelli
2017-06-16Added location info for external calls and improved a message.Cristian Cadar
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2017-06-08Merge pull request #675 from ccadar/varargsAndrea Mattavelli
2017-06-08Fixed typos in comments related to vararg support.Cristian Cadar
2017-05-30Merge pull request #655 from Mic92/loggingCristian Cadar
2017-05-24Rearchitect ExternalDispatcherDan Liew
2017-05-24llvm: make KLEE compile against LLVM 3.5 and 3.6Richard Trembecký
2017-05-24Remove redundant KLEE prefix while loggingJörg Thalheim
2017-04-09Removed unused variable 'fake_object' in MemoryObjectAndrea Mattavelli
2017-03-23[WIP] Fix bug where stats would not be updated on early exit caused byDan Liew
2017-03-06Merge pull request #611 from jirislaby/getDirectCallTargetAndrea Mattavelli
2017-03-05Merge pull request #607 from jirislaby/dispatcherAndrea Mattavelli
2017-03-03Merge pull request #613 from ccadar/minor2Andrea Mattavelli
2017-03-03Moved printFileLine() to be part of KInstructionCristian Cadar
2017-03-01fix for PathOS.idgladtbx
2017-03-01Core: explicitly create CallSite from InstructionJiri Slaby
2017-02-28Core: MCJIT functions need unique namesJiri Slaby
2017-02-28convert iterators using static_castJiri Slaby
2017-02-28Merge pull request #547 from delcypher/fix_alignment_of_alloc_memoryCristian Cadar
2017-02-25llvm: stop using global contextJiri Slaby
2017-02-24Teach KLEE to respect the requested memory alignment of globals and stackDan Liew
2017-02-21Teach `klee::getDirectCallTarget()` to resolve weak aliases. This isDan Liew
2017-02-14Increased the type size for the stop-after-n-instructions option to avoid too...Andrea Mattavelli
2017-02-13Silenced two "control may reach end of non-void function [-Wreturn-type]" com...Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-03-01 10:46:43 +0000