~cnx/klee - KLEE fork for patch differentiation testing

Branch	Commit message	Author	Age
1.2.x	Changed STP version in 1.2.x branch	Cristian Cadar	10 years
1.3.x	Release notes for 1.3.0	Cristian Cadar	9 years
1.4.x	Release notes for 1.4.0	Cristian Cadar	9 years
2.0.x	Add LD_LIBRARY_PATH to docker image	Gerben Oolbekkink	7 years
2.1.x	Release notes for 2.1	Cristian Cadar	6 years
2.2.x	Update version to 2.2	Cristian Cadar	5 years
2.3.x	Release notes for KLEE 2.3	Cristian Cadar	4 years
3.0.x	Release notes for KLEE 3.0	Cristian Cadar	3 years
master	Remove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available...	Cristian Cadar	23 months
psychic	Rewrite seed mode wrapper	Nguyễn Gia Phong	20 months
[...]

Tag	Download	Author	Age
v3.0	klee-3.0.tar.gz	Cristian Cadar	3 years
v2.3	klee-2.3.tar.gz	Cristian Cadar	4 years
v2.2	klee-2.2.tar.gz	Cristian Cadar	5 years
v2.1	klee-2.1.tar.gz	Cristian Cadar	6 years
v2.0	klee-2.0.tar.gz	Cristian Cadar	7 years
v1.4.0	klee-1.4.0.tar.gz	Cristian Cadar	9 years
v1.3.0	klee-1.3.0.tar.gz	Cristian Cadar	9 years
v1.2.0	klee-1.2.0.tar.gz	Cristian Cadar	10 years
v1.1.0	klee-1.1.0.tar.gz	Cristian Cadar	10 years
v1.0.0	klee-1.0.0.tar.gz	Cristian Cadar	10 years

Age	Commit message	Author
2020-12-07	Update version to 2.2v2.2 2.2.x	Cristian Cadar
2020-12-07	Release notes for v2.2	Cristian Cadar
2020-12-04	Only build 32bit runtime libraries if supported by platform	Martin Nowack
2020-12-04	llvm11: Add LLVM 11 to GitHub Actions and Travis CI	Lukas Zaoral
2020-12-04	llvm11: CallBase::getParamAlignment has been deprecated	Lukas Zaoral
2020-12-04	llvm11: GlobalValue::getAlignment has been removed	Lukas Zaoral
2020-12-04	llvm11: IPConstantPropagationPass has been removed	Lukas Zaoral
2020-12-04	llvm11: Composite and Sequential types were removed	Lukas Zaoral
2020-12-04	llvm11: Use getCalledOperand instead of getCalledValue	Lukas Zaoral
2020-12-04	llvm11: Make conversions from StringRef to std::string explicit	Lukas Zaoral
[...]

Clone
https://trong.loang.net/~cnx/klee
ssh://loang.net:2211/var/lib/git/~cnx/klee