From 1ffdd3415cce781d241a620b0b9be735d5de57de Mon Sep 17 00:00:00 2001 From: Daniel Matichuk Date: Thu, 27 Feb 2025 13:51:46 -0800 Subject: [PATCH] update CHANGES.md --- CHANGES.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index f9288704d..af1856220 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -4,6 +4,15 @@ ## Bug fixes +* Update Yices build in CI to fix a crash when running + test `issue_1807.icry` on Mac OS X. + ([what4-solvers #58](https://github.com/GaloisInc/what4-solvers/issues/58)) + +* Fix a bug where using a timeout with a subset of the what4 solvers + would cause a runtime error. Includes a version bump for what4 to address + a nondeterministic crash when using timeouts with cvc4/5. + ([#1807](https://github.com/GaloisInc/cryptol/issues/1807)) + * Fix #1437, enforce the VSeq invariant that it is not a sequence of bits. Replaces the VSeq constructor with a view-only pattern, and smart constructors `mkSeq` and `finSeq`.