about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2019-03-13Moved options in ExprSMTLIBPrinter.cpp to the expression building and printin...Cristian Cadar
2019-03-13Documented options in ExprPPrinter.cpp and placed them into a new option cate...Cristian Cadar
2019-03-13Consistently use "default=true" and "default=false" instead of "default=on" a...Cristian Cadar
2019-03-13Added options in QueryLoggingSolver.cpp to the constraint solving categoryCristian Cadar
2019-03-13Added missing description for some options in CmdLineOptions.cpp (and some re...Cristian Cadar
2019-03-13Added options in CexCachingSolver.cpp to the constraint solving category and ...Cristian Cadar
2019-03-13Created new search option category and moved there the options in UserSearche...Cristian Cadar
2019-03-13Added options in ArrayExprOptimizer.cpp to the constraint solving categoryCristian Cadar
2019-03-13Reordered includes in ArrayExprOptimizer.cpp for consistency with the other f...Cristian Cadar
2019-03-13Created a new memory management option category for the options in MemoryMana...Cristian Cadar
2019-03-13Added --debug-log-state-merge to path merging categoryCristian Cadar
2019-03-12Fixed unitialised memory in `MergeHandler`Martin Nowack
2019-03-12time: add double type for span multiplicationsFrank Busse
2019-03-12Removed unneeded and confusing disable-opt option, reformatted Optimize() fun...Cristian Cadar
2019-03-11Replaced "default=off" with "default=false"MartinNowack
2019-03-11Created a path merging option category and improved help message for path mer...Cristian Cadar
2019-03-11Added options in STPSolver.cpp to the constraint solving categoryCristian Cadar
2019-03-11Added Z3 options to the constraint solving categoryCristian Cadar
2019-03-11Add support for LLVM 8.0Martin Nowack
2019-03-05workaround for LLVM PR39177Julian Büning
2019-03-05Renamed "Starting options" to "Startup options" and added a missing space in ...Cristian Cadar
2019-03-05fix Executor::initializeGlobals for aliases pointing to another aliasJulian Büning
2019-01-15make AssignmentLessThan::operator() const-invocableJulian Büning
2018-12-19Added debugging categoryCristian Cadar
2018-12-19Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251Cristian Cadar
2018-12-19Added some descriptions suggested by @MartinNowack and placed --max-static-.....Cristian Cadar
2018-12-19Added option categories for external call policy and termination criteriaCristian Cadar
2018-12-19Created two more option categories: test generation and seeding.Cristian Cadar
2018-11-23Implemented memalign with alignmentLukas Wölfer
2018-11-07Fix bug which resulted in an incorrect warning to be printed.Cristian Cadar
2018-11-05Fixed crash on zero size arraysLukas Wölfer
2018-11-05Check for stack overflow in a tested programMartin Nowack
2018-11-02Replaced --no-externals and --allow-external-sym-calls with --external-calls,...Cristian Cadar
2018-11-02Introduced a constraint solving option category to which all the options in C...Cristian Cadar
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-26llvm7: handle new header filesJiri Slaby
2018-10-26llvm7: adapt to new openFileForWriteJiri Slaby
2018-10-26llvm7: WriteBitcodeToFile takes Module &Jiri Slaby
2018-10-26llvm6: handle headers renamingJiri Slaby
2018-10-26llvm6: SetVersionPrinter now passes down a streamJiri Slaby
2018-10-26llvm5: APInt->getSignBit -> getSignMaskJiri Slaby
2018-10-26llvm5: CallSite.paramHasAttr is indexed from 0Jiri Slaby
2018-10-26llvm5: Intrinsic::objectsize has three argumentsJiri Slaby
2018-10-26llvm5: use MutableArrayRef for APFloat::convertToIntegerJiri Slaby
2018-10-26llvm5: handle new file_magic's locationJiri Slaby
2018-10-26llvm5: SwitchInst case functions now return pointersJiri Slaby
2018-10-26llvm5: handle getOrInsertFunction terminatorJiri Slaby
2018-10-26llvm5: integerPartWidth is from llvm::APFloatBaseJiri Slaby
2018-10-24ShiftChecker: Instrument shift instructions only onceMartin Nowack
2018-10-24ShiftChecker: Avoid unneeded checksMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 06:07:39 +0000