about summary refs log tree commit diff homepage
path: root/runtime/POSIX/fd_init.c
AgeCommit message (Expand)Author
2024-05-02Refine support for stdio captureNguyễn Gia Phong
2024-03-05Make symbolic stdout more flexibleNguyễn Gia Phong
2023-04-14Modify name of variables in generated cvc files.ITWOI
2023-03-23Remove model_version from the POSIX runtime, as we have never used it.Cristian Cadar
2021-04-30posix runtime: add malloc checksFrank Busse
2019-07-30Use #include "klee/..." (instead of #include <klee/...>) consistently.Cristian Cadar
2017-08-09Fixed a bug causing KLEE to generate files with no permissions bits set. Th...Cristian Cadar
2016-12-28Changed preferred permissions from 0622 to the more standard 0644.Cristian Cadar
2016-05-24Split creation of symbolic files and stdin in two distinct optionsAndrea Mattavelli
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
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 2025-08-06 13:31:41 +0000