about summary refs log tree commit diff homepage
path: root/lib/Core/SpecialFunctionHandler.h
AgeCommit message (Expand)Author
2018-11-23Implemented memalign with alignmentLukas Wölfer
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-08-04Removed merging searchersLukas Wölfer
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2015-02-13refactor integer overflow detection, add signed intLuca Dariz
2015-02-13Detect overflow of unsigned add, sub and mul operationsLuca Dariz
2015-02-13Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"Cristian Cadar
2015-02-10Merged @luckyluke's change for detecting overflow of unsigned add, subCristian Cadar
2014-02-06Implement const_iterator interface for SpecialFunctionHandler soDan Liew
2010-07-15Fix some -Wmismatched-tags warnings.Daniel Dunbar
2010-06-24Implement klee_stack_trace functionPeter Collingbourne
2009-06-01Kill off klee_malloc_n, we don't want to support this.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 19:22:00 +0000