[klee-dev] KLEE 1.2.0 released

[Cristian Cadar]

Look at these commits:
https://github.com/klee/klee/commit/c7e5ed32a3cb869d63fbb3f98b55035cbc4bbcf7
https://github.com/klee/klee/commit/512b9f16e1c7ef23c8adc25cb435517de6bf3e81

Cristian

On 01/04/16 01:10, Sumit Kumar wrote:
> Hi,
>
> Can anyone please point me to any link or explain to me what the
> following change is supposed to do in the latest KLEE version (1.2.0):
>
>      Added code to dump queries and assignments (@MartinNowack)
>
> Specifically about the "assignments" part. What is it supposed to dump
> about assignments ?
>
> --
> Thanks and Regards,
> Sumit
>
> On 31 March 2016 at 22:37, Cristian Cadar <c.cadar at imperial.ac.uk
> <mailto:c.cadar at imperial.ac.uk>> wrote:
>
>     KLEE 1.2.0 is now available at
>     https://github.com/klee/klee/releases/tag/v1.2.0.
>
>     A list of changes and bug fixes can be found below.  Thanks to
>     everyone for their contributions!
>
>     Best,
>     Cristian
>
>
>     KLEE 1.2.0, 31 March 2016
>     =========================
>
>     * Added native support for Z3 (@delcypher)
>     * Made it possible to build KLEE without using STP and only MetaSMT
>     (@delcypher)
>     * Added support for tcmalloc, which allows KLEE to better track
>     memory consumption (@MartinNowack)
>     * Added support for lowering the ``llvm.objectsize`` intrinsic
>     (@delcypher)
>     * Added soname for Runtest dynamic library (@MartinNowack)
>     * Added support to load libraries from command line (@omeranson)
>     * Added command line flag --silent-klee-assume to suppress errors
>     due to infeasible assumptions (Valentin Wüstholz, @wuestholz)
>     * Changed code to print out arrays deterministically (@MartinNowack)
>     * Improved klee-clang script (@msoos)
>     * Added code to dump queries and assignments (@MartinNowack)
>     * Code cleanup and refactorings (@delcypher, @MartinNowack)
>     * Improvements to code infrastructure (@delcypher, @domainexpert,
>     @MartinNowack, @mdimjasevic, @msoos)
>     * Fixed several memory leaks (@delcypher)
>     * Fixed a bug with how non-power of 2 values were written to memory
>     (@kren1)
>     * Fixed valueIsOnlyCalled() used by MD2U (@yotann)
>     * Fixed SELinux signatures (@lszekeres)
>     * Fixed incorrect position of Not in Expr::Kind (@delcypher)
>     * Fixed wrong std::vector usage after reserve() call (@pollnossa)
>     * Improved documentation (@bananaappletw, @ccadar, @delcypher,
>     @mdimjasevic, @Teemperor, @ward, @wuestholz)
>
>     _______________________________________________
>     klee-dev mailing list
>     klee-dev at imperial.ac.uk <mailto:klee-dev at imperial.ac.uk>
>     https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>