diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-29 20:00:54 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-29 21:35:45 +0000 |
| commit | fe22b90764887ab69c20b1eccd773d47a8378b95 (patch) | |
| tree | 0ccdb28afe8d0cc6b5cf227ac9ca11d596a70194 | |
| parent | 76a2adef91dc987083e8e30f40c4143742e4e726 (diff) | |
| download | klee-fe22b90764887ab69c20b1eccd773d47a8378b95.tar.gz | |
Final changes to release notes for v3.1
| -rw-r--r-- | NEWS | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/NEWS b/NEWS index 54296d89..fea55f38 100644 --- a/NEWS +++ b/NEWS @@ -1,15 +1,16 @@ KLEE 3.1, 29 February 2024 ========================== -Incorporating changes from 8 June 2023 to 29 February 2029. +Incorporating changes from 8 June 2023 to 29 February 2024. Maintainers during this time span: @ccadar, @MartinNowack, @251. Documentation at http://klee.github.io/releases/docs/v3.1 -== Major features == -- KDAlloc is now the default allocator in KLEE (KDAlloc was introduced in KLEE 3.0) +== Major features and important changes == - New execution tree implementation and klee-exec-tree tool (@251) +- KDAlloc is now the default allocator in KLEE (KDAlloc was introduced in KLEE 3.0) - Resolve memory reads/writes to single objects in more cases (@tkuchta) - Concretize values based on seeds when available (@ccadar) +- Fixed some interactions with external code (@ccadar, @MartinNowack, mishok2503) == LLVM support == - Current recommended version is still LLVM 13 @@ -29,7 +30,6 @@ Documentation at http://klee.github.io/releases/docs/v3.1 - Removed --zero-seed-extension, and merge it with --allow-seed-extension (@ccadar) == Other changes == -- Fixed some interactions with external code (@ccadar, mishok2503) - Improvements to KDAlloc (@danielschemmel) - Avoid generating array names in solver builders that could accidently collide (@MartinNowack) - Function has_permission in the POSIX model now returns permission error a single time in symbolic execution mode (@ccadar) |