Add changelog entry.

GaloisInc · Oct 16, 2024 · d82fc09 · d82fc09
1 parent a15e462
commit d82fc09
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/crucible-mir/CHANGELOG.md b/crucible-mir/CHANGELOG.md
@@ -1,5 +1,8 @@
 # 0.3 -- 2024-08-30
 
+* The calling sequence of ```translateMIR``` has changed: the first argument,
+  which should always have been passed as ```mempty```, has been removed.
+  This will probably require adjustments in downstream callers.
 * Implement byte-to-char casts.
 * Fix a bug which failed to parse MIR JSON code involving casts from array references to pointers.
 * Rearranged handling of constant slices into a reference and a separate static allocation for the body the reference points to.