~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-04-09	[posix-runtime] Improve model to handle full-path symbolic files	Timotej Kapus
2020-03-22	[posix-runtime] Simple GET/SET_LK model	Timotej Kapus
2019-11-05	Do not modify strings if they are read-only.	Martin Nowack
2019-07-30	Use #include "klee/..." (instead of #include <klee/...>) consistently.	Cristian Cadar
2019-04-02	POSIX runtime fixes for FreeBSD.	Gleb Popov
2018-05-07	Fixed utimes() behavior for symbolic files when the second argument is NULL	yxliang01
2018-05-05	Fix handling of errno if external functions are invoked	Martin Nowack
2017-03-20	runtime: POSIX, check path prior dereference	Jiri Slaby
2014-09-14	Replace fprintf with klee_warnings for POSIX lib	Martin Nowack
2013-11-14	Fix lseek and getdents	Martin Nowack
2013-08-29	Added some of the common *at functions to the model	Paul Marinescu
2010-06-28	Applied Stefan Bucur's patch from	Cristian Cadar
2009-08-01	Fixes for building runtime on linux x86-64.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar