stable

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

FEDORA-2022-cc98b8f96b created by jjames a year 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

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

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

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

a year ago

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

a year ago

This update has been submitted for stable by bodhi

a year 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
a year ago
in testing
a year ago
in stable
a year ago

Automated Test Results