[go: up one dir, main page]

Skip to content

Tags: klee/klee-uclibc

Tags

klee_uclibc_v1.4

Toggle klee_uclibc_v1.4's commit message
fixing null dereference in realpath

klee_uclibc_v1.3

Toggle klee_uclibc_v1.3's commit message
configure: remove old code, make llvm-config lookup more flexible, se…

…t to Python3, remove trailing whitespace

klee_uclibc_v1.2

Toggle klee_uclibc_v1.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #25 from MartinNowack/fix_32bit_detection

Check if pointer size reflects architecture

klee_uclibc_v1.2-rc.1

Toggle klee_uclibc_v1.2-rc.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #18 from SolalPirelli/fix_no_buffers

Fix compilation when __STDIO_HAS_OPENLIST is undefined

klee_uclibc_v1.0.1-rc.1

Toggle klee_uclibc_v1.0.1-rc.1's commit message
Merge pull request #16 from andreamattavelli/update_travis_cmake

[TravisCI] Updated Travis-CI to compile KLEE with CMake only

klee_uclibc_v1.0.0

Toggle klee_uclibc_v1.0.0's commit message
Tag a release of klee-uclibc for packaging purposes.

This release is basically the "original hacks" built
on top of klee-uclibc 0.9.29.

I don't approve of the version number but it isn't my decision,
so 1.0.0 it is...

v0.9.33.2

Toggle v0.9.33.2's commit message
Tag v0.9.33.2

v0.9.33.1

Toggle v0.9.33.1's commit message
Tag uClibc-0.9.33.1

v0.9.33

Toggle v0.9.33's commit message
Release 0.9.33

Signed-off-by: Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>

v0.9.33-rc1

Toggle v0.9.33-rc1's commit message
release 0.9.33-rc1

Signed-off-by: Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>