stable

klee-2.3-6.fc38, opam-2.1.2-7.fc38, & 1 more

FEDORA-2022-cc98b8f96b created by jjames 10 months ago for Fedora 38

Changes in version 4.11.0:

  • remove Z3_bool, Z3_TRUE, Z3_FALSE from the API. Use bool, true, false instead.
  • z3++.h no longer includes <sstream> as it did not use it.
  • add solver.axioms2files
    • prints negated theory axioms to files. Each file should be unsat
  • add solver.lemmas2console
    • prints lemmas to the console.
  • remove option smt.arith.dump_lemmas. It is replaced by solver.axioms2files
  • add option smt.bv.reduce_size.
    • it enables incremental preprocessing of bit-vectors by identifying ranges that are known to be constant. This rewrite is beneficial, for instance, when bit-vectors are constrained to have many high-level bits set to 0.
  • add feature to model-based projection for arithmetic to handle integer division.
  • add from_string method to JavaScript solver object.

The klee and opam builds are simple rebuilds due to an soname change in the z3 library.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-cc98b8f96b

This update's test gating status has been changed to 'waiting'.

10 months ago

This update's test gating status has been changed to 'ignored'.

10 months ago

This update has been submitted for stable by bodhi

10 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
10 months ago
in testing
10 months ago
in stable
10 months ago

Automated Test Results