Release notes for 2.0

Release notes for 1.4.0

in KLEE in Numbers

rebased feat_qoc to older commit used in feat_incremental experiments

rebased to current feat_incremental

Remove equal check

Release notes for 1.3.0

fixed stats file creation and added llvm::ConstantVector support for …

…OpenSSL

like feat_qoc_2016_11_29 (llvm::ConstantVector and stats file Fix)

base commit for feat_qoc including deactivation of incremental solving