From cc77d1516e313bf8e23fdae3ce5b747c8954a668 Mon Sep 17 00:00:00 2001 From: Andrew Appel Date: Wed, 13 Mar 2024 11:23:55 -0400 Subject: [PATCH] Bring CHANGES file up to date --- CHANGES | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/CHANGES b/CHANGES index 7efbfc880..fd039c5d0 100644 --- a/CHANGES +++ b/CHANGES @@ -1,3 +1,16 @@ +CHANGES SINCE LAST RELEASE (udpated March 2024) + +- repr_inj handles int64 compares better +- Added nonempty_writable_glb lemma for user convenience (#734) +- Remove unnecessary premise in field_at_app lemma (#743) +- Improve error message in forward_if (#744) +- Fix slow unification in load/store forward tactics (#748) +- Generalize permission share in data_at_in_or_ptr_int lemma (etc.) (#749) +- Improve error messages from deadvars tactic (#751) +- Fix issue #745 (minor bug in entailer tactic) +- Localize/unlocalize more robust regarding unification vars (#756) +- Ensure veric.version is present in opam distributions + CHANGES IN RELEASE 2.13 (October 2023) - Improved error diagnostics when compspecs mismatch