about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2018-02-18Fail for aggegrations with big endian orderingMartin Nowack
2018-02-18Fixed handling of constant vectors with complex dataMartin Nowack
2018-02-18Make print function of ObjectState public and constMartin Nowack
2018-02-18Fix correct element order of InsertElement/ExtractElementMartin Nowack
2018-02-18Fix getelementptr for array or vector indicesMartin Nowack
2018-02-18Fix generation of expressions from constant sequential dataMartin Nowack
2018-02-18Added comment for getPointerWidthMartin Nowack
2018-02-01llvm50: use auto variable instead of SwitchInst::CaseItJiri Slaby
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-17[cmake] detect available metaSMT backends using a pre-defined flag and raise ...Hoang M. Le
2017-10-17add support for CVC4 and Yices2 via metaSMTHoang M. Le
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-09-22Merge pull request #748 from ccadar/optionsCristian Cadar
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-08-11Removed "llvm::" and reformatting in CmdLineOptions.cppCristian Cadar
2017-08-11Added support for hiding command-line optionsCristian Cadar
2017-08-09Fixed a compiler warning (unused variable)Cristian Cadar
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-31Fix build for FreeBSD.Tatiana Tikhomirova
2017-07-29Added an optional KInstruction* argument to evalConstant and evalConstantExpr...Cristian Cadar
2017-07-29Added another variant of printFileLine in KInstruction that returns the locat...Cristian Cadar
2017-07-26Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::listCristian Cadar
2017-07-25Merge pull request #725 from ccadar/foldCristian Cadar
2017-07-25This commit simply moves evalConstant to ExecutorUtil (where evalConstantExpr...Cristian Cadar
2017-07-25Added the const qualifier to the keys in the constantMapCristian Cadar
2017-07-24llvm: get rid of static_casts from iterators (take 2)Jörg Thalheim
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-19Fixes bug in TreeStreamWriter::write reported by @gladtbx in #562. Also remo...Cristian Cadar
2017-07-18Use assembly line for printing debug informationMartin Nowack
2017-07-18Merge pull request #672 from jirislaby/llvm40_static_castsAndrea Mattavelli
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 20:34:08 +0000