ddcc/klee-uclibc - GitHub Explorer | GitHub Explorer | Trending

Stars

0

Forks

0

Watchers

0

Open Issues

0

Repository Health Score

❤️

30/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Recent Commits

Fix typo in Makefile.in

Dominic Chen•12 years ago

83b8526View on GitHub

hack to fix compilation errors

Dominic Chen•12 years ago

2f49f3cView on GitHub

revert GCC changes

Dominic Chen•12 years ago

b81890eView on GitHub

remove Rules.mak

Dominic Chen•12 years ago

3228a3fView on GitHub

revert kernel_types.h

Dominic Chen•12 years ago

682beedView on GitHub

Merge branch 'master' of https://bitbucket.org/251/klee-uclibc

Dominic Chen•12 years ago

672cdd8View on GitHub

add config file

Dominic Chen•12 years ago

b5e62ceView on GitHub

initial commit from upstream klee-uclibc-0.02-x64.tgz

Dominic Chen•12 years ago

32beea9View on GitHub

add README.rst

Frank Busse•13 years ago

d6a8fe7View on GitHub

missing __b16: use kernel types

Frank Busse•13 years ago

1ade5b0View on GitHub

clang preprocessor doesn't support -dN, use GCC instead

Frank Busse•13 years ago

f8168f7View on GitHub

Release+Asserts/bin to Release*/bin

Frank Busse•13 years ago

4d82553View on GitHub

--emit-llvm to -emit-llvm

Frank Busse•13 years ago

bf6cf46View on GitHub

source: http://www.doc.ic.ac.uk/~cristic/klee/klee-uclibc-i386.html (klee-uclibc-0.02-i386.tgz)

Frank Busse•13 years ago

0c27a73View on GitHub

View all commits