Update Changelog for SAW 1.2 Release.

GaloisInc · Aug 30, 2024 · 1c224e4 · 1c224e4
1 parent 47a7632
commit 1c224e4
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 5 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,15 +1,20 @@
-# next -- TBA
+# Version 1.2 -- 2024-08-30
 
 ## New Features
 
 * Add `mir_str_slice_value` and `mir_str_slice_range_value` functions, which
   allow taking `&str` slices. For more information, see the documentation in the
   [SAW manual](https://github.com/GaloisInc/saw-script/blob/master/doc/manual/manual.md#string-slices).
 
+* Add `mir_mux_values` command for muxing two MIR values.
+
+* Add support for GHC 9.8.
+
 ## Bug fixes
 
-* The locations printed with type errors (in particular) and other diagnostics
-  now have a much stronger connection with reality.
+* Fix bug that caused MIR to incorrectly reject overrides with multiple const slice arguments
+
+* Error messages have been improved such that the locations printed with type errors and other diagnostics now have a much stronger connection with reality.
 
 # Version 1.1 -- 2024-02-05
 

diff --git a/saw-remote-api/CHANGELOG.md b/saw-remote-api/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Revision history for saw-remote-api
 
-## next -- TBA
+## 1.2.0 -- 2024-08-30
 
 * Add `"str slice"` and `"str slice range"` `setup value`s, which are used to
   represent MIR `str` slice references. Attempting to use these in LLVM or JVM

diff --git a/saw-remote-api/python/CHANGELOG.md b/saw-remote-api/python/CHANGELOG.md
@@ -1,6 +1,6 @@
 # Revision history for saw-client
 
-## next -- TBA
+## 1.2.0 -- 2024-08-30
 
 * Add `str_slice()` and `str_slice_range()` functions for constructing MIR `str`
   slice references. Using these functions with LLVM or JVM verification will