Add a CHANGES entry

ocaml-multicore · Sep 2, 2024 · 65edac1 · 65edac1
1 parent 984c8ce
commit 65edac1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -8,6 +8,8 @@
   requiring an interleaving search.
 - #462: Add `STM_domain.stress_test_par`, similar to `Lin_domain.stress_test`
   for STM models.
+- #472: Switch `arb_cmds` to use an exponential distribution with a
+  mean of 10, avoiding lists of up to 10000 cmds in `STM_sequential`.
 
 ## 0.3