Skip to content
Snippets Groups Projects
Select Git revision
  • master default
1 result

CHANGELOG.md

Blame
    • Forked from Per Lindgren / klee_tutorial
    2 commits behind the upstream repository.
    CHANGELOG.md 496 B

    Changelog

    Most recent changes:

    • 2020-12-14 Some clarifications:

      • In array.rs, missing not in "(Hint, even if we don't use the result b, Rust do not optimize out the call, why?)"

      • Small clarifications to other examples (see diff for details.)

    • 2020-12-12 Update with cyccnt example.

    • 2020-12-08 Update README.md for Ubuntu (like) system with z3 dependency.

    • 2020-12-08 Update README.md and examples/get_sign to reflect the recent klee 2.2 and aur package.