index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Branch
Commit message
Author
Age
1.2.x
Changed STP version in 1.2.x branch
Cristian Cadar
8 years
1.3.x
Release notes for 1.3.0
Cristian Cadar
7 years
1.4.x
Release notes for 1.4.0
Cristian Cadar
7 years
2.0.x
Add LD_LIBRARY_PATH to docker image
Gerben Oolbekkink
5 years
2.1.x
Release notes for 2.1
Cristian Cadar
4 years
2.2.x
Update version to 2.2
Cristian Cadar
3 years
2.3.x
Release notes for KLEE 2.3
Cristian Cadar
2 years
3.0.x
Release notes for KLEE 3.0
Cristian Cadar
11 months
master
Remove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available...
Cristian Cadar
3 months
psychic
Refine support for stdio capture
Nguyễn Gia Phong
3 weeks
[...]
Tag
Download
Author
Age
v3.0
klee-3.0.tar.gz
Cristian Cadar
11 months
v2.3
klee-2.3.tar.gz
Cristian Cadar
2 years
v2.2
klee-2.2.tar.gz
Cristian Cadar
3 years
v2.1
klee-2.1.tar.gz
Cristian Cadar
4 years
v2.0
klee-2.0.tar.gz
Cristian Cadar
5 years
v1.4.0
klee-1.4.0.tar.gz
Cristian Cadar
7 years
v1.3.0
klee-1.3.0.tar.gz
Cristian Cadar
7 years
v1.2.0
klee-1.2.0.tar.gz
Cristian Cadar
8 years
v1.1.0
klee-1.1.0.tar.gz
Cristian Cadar
9 years
v1.0.0
klee-1.0.0.tar.gz
Cristian Cadar
9 years
Age
Commit message
Author
2024-05-02
Refine support for stdio capture
psychic
Nguyễn Gia Phong
2024-03-05
Relax revision combination check
Nguyễn Gia Phong
2024-03-05
Hack up brute-force decision tree construction
Nguyễn Gia Phong
2024-03-05
Clean up interfaces
Nguyễn Gia Phong
2024-03-05
Revert orphaned changes
Nguyễn Gia Phong
2024-03-05
Handle conjoined metaconstraints
Nguyễn Gia Phong
2024-03-05
Move differentiator to separate module
Nguyễn Gia Phong
2024-03-05
Execute concrete programs more eagerly
Nguyễn Gia Phong
2024-03-05
Implement detection of implicit return via pointer
Nguyễn Gia Phong
2024-03-05
Implement return value detection
Nguyễn Gia Phong
[...]
Clone
https://trong.loang.net/~cnx/klee
ssh://loang.net:2211/var/lib/git/~cnx/klee