about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2017-07-08Corrected comment of Z3Solver classAndrew Santosa
2017-06-16move module loading into external functionJörg Thalheim
2017-06-16llvm37: introduce type for PassManagerJiri Slaby
2017-06-16Added location info for external calls and improved a message.Cristian Cadar
2017-06-15llvm37: do not copy DILocation to getDSPIPathJiri 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-06-02hide backend solver declarations from public includeHoang M. Le
2017-06-02replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into Met...Hoang M. Le
2017-06-01[Z3] Remove unused include.Dan Liew
2017-06-01[Z3] Add `-debug-z3-verbosity=<N>` option which behaves like Z3's `-v:<N>` op...Dan Liew
2017-06-01[Z3] Switch from `Z3_mk_simple_solver()` to `Z3_mk_solver()`.Dan Liew
2017-06-01[Z3] In `getConstraintLog()` use a separate builder from that of theDan Liew
2017-06-01[Z3] Implement API logging.Dan Liew
2017-06-01[Z3] Add option to manually validate Z3 models.Dan Liew
2017-06-01[Z3] Add the `-debug-z3-dump-queries=<path>` command line option. ThisDan Liew
2017-06-01Refactor file opening code out of `main.cpp` and intoDan Liew
2017-06-01[Z3] Move the `dump()` methods of the Z3NodeHandle<> specializationsDan Liew
2017-06-01[Z3] Add assertions in Z3 builder to catch underflow with bad widths.Dan Liew
2017-06-01[Z3] Support another solver failure reason that Z3 might give. I'm goingDan Liew
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[CMake] Unbreak build due to not adding AssignmentValidatingSolver.cppDan Liew
2017-03-23Add `AssignmentValidatingSolver`. It's purpose is to check any computedDan Liew
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-06Merge pull request #609 from ccadar/warningsAndrea Mattavelli
2017-03-05Merge pull request #607 from jirislaby/dispatcherAndrea Mattavelli
2017-03-05Merge pull request #606 from jirislaby/ObjectFileCristian Cadar
2017-03-03Merge pull request #613 from ccadar/minor2Andrea Mattavelli
2017-03-03Moved printFileLine() to be part of KInstructionCristian Cadar
2017-03-03Merge pull request #589 from gladtbx/klee_fix_pathOSAndrea Mattavelli
2017-03-03Using klee_message instead of llvm:errsCristian Cadar
2017-03-01fix for PathOS.idgladtbx
2017-03-01Core: explicitly create CallSite from InstructionJiri Slaby
2017-03-01Added new option --warnings-only-to-file which causes warnings to be written ...Cristian Cadar
2017-02-28Core: MCJIT functions need unique namesJiri Slaby
2017-02-28convert iterators using static_castJiri Slaby
2017-02-28Module: simplify is_object checksJiri 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-22klee: remove use of deprecated 'register'Jiri Slaby
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-14Merge pull request #574 from delcypher/read_expr_missed_constaint_foldAndrea Mattavelli
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 02:32:58 +0000