about summary refs log tree commit diff homepage
path: root/include/klee/klee.h
AgeCommit message (Expand)Author
2020-12-23klee.h: fix compiler warnings (function declaration is not a prototype)Frank Busse
2020-08-07New intrinsic: klee_is_replayAlastair Reid
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...Cristian Cadar
2019-05-30remove klee_alias_function()Julian Büning
2018-06-13klee_int: allow NULL as nameFrank Busse
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-04-01[include] Add missing functions in klee.hMartin Nowack
2015-04-01[runtime] Fix comments to c style for c files and headersMartin Nowack
2010-06-28Applied Stefan Bucur's patch fromCristian Cadar
2010-06-24Implement klee_stack_trace functionPeter Collingbourne
2009-05-22Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 08:41:38 +0000