about summary refs log tree commit diff homepage
path: root/runtime/POSIX/fd.h
AgeCommit message (Expand)Author
2022-06-27Define stat64 to be stat on MacOS. This fixes compilation on more recent mac...Cristian Cadar
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...Cristian Cadar
2019-04-02POSIX runtime fixes for FreeBSD.Gleb Popov
2018-10-08add support for klee-replay on OSXFrank Busse
2016-05-24Split creation of symbolic files and stdin in two distinct optionsAndrea Mattavelli
2013-08-29Added some of the common *at functions to the modelPaul Marinescu
2009-05-21Initial KLEE checkin.Daniel Dunbar