Skip to content

Commit

Permalink
Add CFL to CHANGES.md
Browse files Browse the repository at this point in the history
  • Loading branch information
thwfhk authored Oct 3, 2023
1 parent b2047b7 commit 5cfca65
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 5cfca65

Please sign in to comment.