about summary refs log tree commit diff homepage
path: root/lib/Core/ExecutorTimers.cpp
AgeCommit message (Expand)Author
2019-03-15Placed --max-time in the termination categoryCristian Cadar
2019-03-12time: add double type for span multiplicationsFrank Busse
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-23refactor klee_open_output_file to return std::unique_ptrJulian Büning
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2016-07-08Use vector instead of set to add/remove statesMartin Nowack
2016-06-23Use klee_message for timeout informationAndrea Mattavelli
2016-03-01Documented default values for various options and improved the description of...Cristian Cadar
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2013-12-05Fix timer leakMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2011-11-29Updates for LLVM 3.1.Peter Collingbourne
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-07-25(llvm up) Update for llvm::Value getName() change.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-01 22:59:38 +0000