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
2017-07-21
Release notes for 1.4.0
v1.4.0
1.4.x
Cristian Cadar
2017-07-20
Switching version to 1.4.0
Cristian Cadar
2017-07-20
Merge pull request #657 from delcypher/vectorized_instructions
Cristian Cadar
2017-07-20
Replace assertions of types on LLVM instructions in the Executor with a
Dan Liew
2017-07-20
Merge pull request #673 from jirislaby/llvm40_WallTimer
MartinNowack
2017-07-20
Core: TimingSolver, use TimerStatIncrementer
Jiri Slaby
2017-07-20
Merge pull request #704 from ccadar/TreeStream
Andrea Mattavelli
2017-07-19
Added some unit tests for TreeStream: one testing some basic behaviour, the o...
Cristian Cadar
2017-07-19
Implement basic support for vectorized instructions.
Dan Liew
2017-07-19
Fixes bug in TreeStreamWriter::write reported by @gladtbx in #562. Also remo...
Cristian Cadar
[...]
Clone
https://trong.loang.net/~cnx/klee
ssh://loang.net:2211/var/lib/git/~cnx/klee