From 65edac111d909f109c121c50769975485532fbe5 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Mon, 2 Sep 2024 09:44:35 +0200 Subject: [PATCH] Add a CHANGES entry --- CHANGES.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index d984b4cc..01596ab4 100644 --- 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