[klee-dev] First release: KLEE 1.0.0

[Cristian Cadar]

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)