Skip to content

Commit

Permalink
update Changelog for next release
Browse files Browse the repository at this point in the history
  • Loading branch information
kfriedberger committed Jun 5, 2023
1 parent 8e9ad5c commit 14703b7
Showing 1 changed file with 16 additions and 0 deletions.
16 changes: 16 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,22 @@ SPDX-License-Identifier: Apache-2.0

# JavaSMT ChangeLog

## JavaSMT 4.0.0

This major release comes with several updated solvers and dependencies,
a new (potentially faster) evaluator for models,
and support for the theory of enumerations (domains of fixed size).

### Breaking changes:
- The push-method in ProverEnvironments can throw InterruptedExceptions.
- Model evalation supports enumeration theory.
- Direct construction ArrayFormulaType was replaced with a static building method.

### Updated solvers:
- MathSAT 5.6.10
- Z3 4.12.2
- CVC5 1.0.5

## JavaSMT 3.14.3

This patch release updates SMTInterpol to version 2.5-1242-g5c50fb6d.
Expand Down

0 comments on commit 14703b7

Please sign in to comment.