managing the changelogs a bit better

WasmCert · Oct 17, 2024 · d102095 · d102095
1 parent 20c0f59
commit d102095
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/changelogs/v2.0.1.md b/changelogs/v2.0.1.md
@@ -9,7 +9,7 @@ The codebase is now updated to work with Coq 8.19. The other dependencies have a
 The context interpreter has been refactored to provide a more faithful version of the progress property.
 
 # Bugfix for certain numeric operations
-The behaviour of `shl_s` has been fixed according to the spec. Further tests are still required as the numerical part is severly under-tested.
+The behaviour of `shl_s` has been fixed according to the spec. Further tests are still required as the numerical part is severely under-tested.
 
 # Added opaque implementation of vector instructions (SIMD)
 Added the necessary instructions for the new 2.0 SIMD instructions to be parsed but without any concrete implementations. In a future version, add some hooks to the OCaml implementation of the reference interpreter to support concrete SIMD operations.

diff --git a/changelogs/v2.0.2.md b/changelogs/v2.0.2.md
@@ -0,0 +1,7 @@
+# Release 2.0.2
+
+# Upgrade to Coq 8.20
+The codebase is now updated to work with Coq 8.20. The other dependencies have also been upgraded correspondingly. Note that we are currently using mathcomp version 1.x; this will possibly be updated in a future version.
+
+# Cleaning up extraction
+TBD