Age | Commit message (Collapse) | Author |
|
|
|
|
|
consistent naming convention
|
|
|
|
|
|
|
|
|
|
|
|
this function can be used to modify the control flow of the program
on different paths, enabling self-modifying code.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Add dependencies for newer build
Add support to `git cherry-pick` commits without author/email defined
|
|
|
|
Fixes #1080. The proper LD_LIBRARY_PATH is required when binaries linked
with kleeRuntest are run.
The STP line is changed to extend the library path instead of replace
it, I am not sure if it can be removed at this moment.
|
|
|
|
|
|
Update build sqlite script
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
It starts a simple web server that acts as a simple JSON datasource for grafana
|
|
Improves querying of the .stats file, reduces its size, speeds up reads and
writes and has better defined fail behaviour.
|
|
|
|
|
|
on FreeBSD
|
|
|
|
|
|
libutil.h header there.
|
|
|
|
|