Hi all,
I have just created a first release for KLEE, v1.0.0:
https://github.com/klee/klee/releases
Right now it is essentially just a Git tag, an archive
(https://github.com/klee/klee/archive/v1.0.0.tar.gz) and some release
notes (https://github.com/klee/klee/releases/tag/v1.0.0), but in the
future the plan is to move toward a Linux package.
However, even in this limited form, the releases should make it easy to
keep track of the recent changes in KLEE, as well as to record the
version of KLEE used in experiments, research papers, etc.
Thanks to everyone for their help getting to this point, and please keep
contributing to the project!
Best,
Cristian
===
KLEE 1.0.0 Release Notes
(from https://github.com/klee/klee/releases/tag/v1.0.0)
First official release for KLEE.
# Recent changes (from 2015)
* Several performance improvements to the counterexample cache,
including changing some default behaviour (Eric Rizzi, @holycrap872)
* Computing coverage of KLEE code in Travis CI (Timotej Kapus, @kren1)
* Added an option --readable-posix-inputs which is used to turn on/off
the CEX preferences added in the POSIX model (Eric Rizzi, @holycrap872;
Cristian Cadar, @ccadar)
* Lots of improvements to the build process (Dan Liew, @delcypher)
* Added klee-clang as alternative to klee-gcc (Martin Nowack, @MartinNowack)
* Added Dockerfile for building a KLEE Docker image (Dan Liew, @delcypher)
* Added a new option, --rewrite-equalities, which makes it possible to
disable the optimisation that rewrites existing constraints when an
equality with a constant is added (Cristian Cadar, @ccadar)
* Cleaner, more efficient timestamps (Emil Rakadjiev, @erakadjiev)
* Improved integer overflow detection (Luca Dariz, @luckyluke)
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
