about summary refs log tree commit diff homepage
path: root/NEWS
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2020-02-28 22:13:33 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2020-03-03 16:03:44 +0000
commitde471397338640df8ff792dab6d04c1a9a798d8c (patch)
tree896b97b5ef2a022d05ec13ce43b57018b973a7c0 /NEWS
parent686e8f0f9c2c31b1a6459f6077adb729b975d9d1 (diff)
downloadklee-2.1.x.tar.gz
Release notes for 2.1 v2.1 2.1.x
Diffstat (limited to 'NEWS')
-rw-r--r--NEWS47
1 files changed, 47 insertions, 0 deletions
diff --git a/NEWS b/NEWS
index b50fef77..de348cc9 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,50 @@
+KLEE 2.1, 3 March 2020
+=======================
+Incorporating changes from 20 March 2019 to 3 March 2020.
+Maintainers during this time span: @ccadar and @MartinNowack
+Documentation at http://klee.github.io/releases/docs/v2.1
+
+== Major features ==
+- New container-based architecture for KLEE Web (@Denis-Gavrielov, @andronat)
+- Changed the statistics framework to use SQL and improve klee-stats (@kren1, @251)
+- Added Grafana visualisation to klee-stats (@gdish, @KennyMacheka, @kren1)
+- Brought gen-random-bout up-to-date (@domainexpert)
+- Fixed support for FreeBSD (@arrowd)
+- Replaced signalling with synchronous checks for implementing timers (@251)
+- Improved reference handling (ref<>) (@MartinNowack)
+
+== LLVM support ==
+- Added support for LLVM 9 and 10 (@jbuening)
+- Removed support for LLVM <3.8 (@jbuening)
+- KLEE 2.1 will be the last version with support for LLVM <6
+
+== Options, scripts and KLEE intrinsics added, changed or removed ==
+- Replaced intrinsic klee_alias_function("foo", "bar") with option -function-alias=foo:bar, which supports regular expressions (@jbuening, @SolalPirelli)
+- Removed -max-instruction-time (@251)
+- Added -timer-interval (default 1s) to specify the minimum interval to check timers (@251)
+- Added nurs:rp searcher which uses non-uniform random search with 1/2^depth (@kren1)
+- Replaced the behavior of the nurs:depth searcher to use NURS with depth (@kren1)
+- klee-stats: new --grafana option (see above) 
+- klee-stats: new --to-csv option for converting statistics to the CSV format (@251)
+- klee-stats: removed --sample-interval, --sort-by, --compare-by, --precision.  These can be now simulated by querying the SQL database directly (@kren1)
+- klee-replay: added --keep-replay-dir option to keep the replay directory (@ccadar)
+
+== Other changes ==
+- Added support for llvm.fabs (@futile)
+- Added support for saturated arithmetic intrinsics (@mateon1)
+- Added support for llvm.objectsize (@MartinNowack)
+- Added support for llvm.is.constant (@arrowd)
+- Fixed bugs in --optimize-array (@kren1)
+- Removed statistics limit from istats (@MartinNowack)
+- Refactored PTree (@251)
+- Improved klee-replay and made it safe to run multiple instances in parallel (@ccadar)
+- Check if read-only objects are marked as symbolic (@MartinNowack)
+- Allow main() with 3 arguments (@ccadar)
+- Improved the structure of the codebase (@ccadar)
+- Improved KLEE's CI build scripts (@MartinNowack, @jbuening)
+- Smaller refactorings, fixes and improvements, test cases, maintenance, comments, web version, website, etc. (@251, @arrowd, @benquike, @ccadar, @cyberwookiee, @danielschemmel, @Denis-Gavrielov, @dependabot, @domainexpert, @futile, @gdish, @JasonPap, @jbuening, @jirislaby, @KennyMacheka, @kren1, @MartinNowack, @qurben)
+
+
 KLEE 2.0, 19 March 2019
 ========================
 Incorporating changes from 22 July 2017 to 19 March 2019