about summary refs log tree commit diff homepage
path: root/NEWS
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2016-11-30 14:19:01 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2016-11-30 15:47:31 +0000
commit5521c86dd4fb93af8a8266a5da6d617134365d31 (patch)
tree40964e41841f939b71ebfccbd0b136427c8b3e87 /NEWS
parent95473d5ab63e99f1feca56d1abf00fbc1e7ff9bb (diff)
downloadklee-5521c86dd4fb93af8a8266a5da6d617134365d31.tar.gz
Release notes for 1.3.0
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS29
1 files changed, 29 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index 17d62a3a..2383bc37 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,32 @@
+KLEE 1.3.0, 30 November 2016
+============================
+(Incorporating changes from 1 April up to and including 3 November 2016)
+
+* Improved determinism of KLEE, an essential feature for experiments involving KLEE (@MartinNowack)
+* KLEE-web has been improved and refactored, and now available at http://klee.doc.ic.ac.uk/ (@giacomoguerci, @helicopter88, @andronat, @ccadar, based on work by @ains, @ben-chin, @ilovepjs, @JamesDavidCarr, Kaho Sato, Conrad Watt, @ccadar)
+* Renamed --replay-out to --replay-ktest and --replay-out-dir to replay-ktest-dir (@delcypher)
+* Split creation of symbolic files and stdin in two distinct options, documented at http://klee.github.io/docs/options/#symbolic-environment (@andreamattavelli)
+* Support for logging queries before invoking the solver via --log-partial-queries-early, useful for debugging solver crashes (@MartinNowack)
+* Added --stats-write-after-instructions and --istats-write-after-instructions to update each statistic after n steps (@MartinNowack)
+* Added --compress-log and --debug-compress-instructions to gzip-compress logs (@MartinNowack)
+* Added --exit-on-error-type option for stopping execution when certain error types are encountered (@jirislaby)
+* Updated and improved metaSMT support and added TravisCI targets (@hoangmle)
+* Added option --debug-crosscheck-core-solver to allow crosschecking of solvers (@delcypher)
+* Explicitly made division total in STP (@ccadar)
+* Extended support for assembler raising (@MartinNowack)
+* Disabled --solver-optimize-divides, as the optimization is currently buggy (@ccadar)
+* Improved --debug-print-instructions options with more logging options (@andreamattavelli)
+* Improved stub for times() not to trigger a NULL dereference (@ccadar)
+* Allow relocation of installed KLEE tree (@ShayDamir)
+* Fixed bug in independent solver (@delcypher)
+* Fixed alignement of varargs (@MartinNowack)
+* Fixed variable shifting behavior with different sizes and generation of STP shift operations with variable amounts (@MartinNowack)
+* Fixed handling of non-sized globals (@jirislaby)
+* Fixed klee_get_obj_size() crash on 64-bit (@hutoTUM)
+* Fixed bug in Kleaver's parser (@andreamattavelli)
+* Refactorings, small fixes and improvements, test cases, maintenance and website: (@andreamattavelli, @ccadar, @delcypher, @domainexpert, @giacomoguerci, @hoangmle, @helicopter88, @jirislaby, @Justme0, @kren1, @MartinNowack, @mchalupa)
+
+
 KLEE 1.2.0, 31 March 2016
 =========================