From 5cfca657b3c422fa266b8d9d9c8df66c45a8a073 Mon Sep 17 00:00:00 2001 From: Wenhao Tang Date: Tue, 3 Oct 2023 16:01:22 +0100 Subject: [PATCH] Add CFL to CHANGES.md --- CHANGES.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 002fc8510..8e1e85371 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -5,6 +5,19 @@ List of changes since the latest release. longer supported. Instead, the package `links-mysql8`, based on the `mysql8` package is provided, which also supports version of MySQL prior to 8. + +# 0.9.8 + +This release ... + +* Control-flow linearity: Links now tracks control-flow linearity when + the flag `--control-flow-linearity` is enabled. This extension fixes + a long-standing soundness bug (see issue + [#544](https://github.com/links-lang/links/issues/544)) with the + interaction between exceptions, multi-shot effect handlers and + session-typed channels. More details about this extension can be + found in the [wiki + page](https://github.com/links-lang/links/wiki/Control-flow-linearity). # 0.9.7