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
8 weeks
psychic
Relax revision combination check
Nguyễn Gia Phong
8 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
8 years
v1.0.0
klee-1.0.0.tar.gz
Cristian Cadar
9 years
Age
Commit message
Author
2024-03-04
Remove FreeBSD 13.2 from CirrusCI, as the image does not seem to be available...
HEAD
master
Cristian Cadar
2024-02-29
Setting version to 3.2-pre
Cristian Cadar
2024-02-29
Final changes to release notes for v3.1
Cristian Cadar
2024-02-29
Add support to fully concretise objects if modified externally
Martin Nowack
2024-02-29
Support external call concretisation policies for referenced objects
Martin Nowack
2024-02-29
Refactor `ObjectState::flushToConcreteStore` to use `toConstant`
Martin Nowack
2024-02-29
Use correctly constrained constants if the memory object is fully symbolic
Martin Nowack
2024-02-29
Correctly update symbolic variables that have been changed externally
Martin Nowack
2024-02-29
Test case for externally concretized variables and constraint fully symbolic ...
Martin Nowack
2024-02-29
Release notes for KLEE 3.1
Cristian Cadar
[...]
Clone
https://trong.loang.net/~cnx/klee
ssh://loang.net:2211/var/lib/git/~cnx/klee