Update changelog

Use American spelling for LICENSE file because dune-publish expects it
rems-project · Nov 23, 2022 · 7b27b62 · 7b27b62
1 parent 54f7ad5
commit 7b27b62
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -37,6 +37,15 @@ default and this flag is ignored. The `-allow_deprecated_casts` flag
 must be used to enable this now. Implicit casts will be fully removed
 in the next Sail release.
 
+##### New concurrency interface (EXPERIMENTAL)
+
+This release contains a new way of interfacing with external
+concurrency models by way of user defined effects. See
+lib/concurrency_interface for an example. This is currently
+experimental and not fully supported in all backends. Definition of
+new effects is currently only allowed with the `$sail_internal`
+directive (see below).
+
 ##### No more explicit effect annotations (DEPRECATION)
 
 Explicit effect annotations are now deprecated and do nothing. This

diff --git a/LICENCE → LICENSE b/LICENCE → LICENSE
diff --git a/dune-project b/dune-project
@@ -15,6 +15,8 @@
 
 (maintainers "Sail Devs <cl-sail-dev@lists.cam.ac.uk>")
 
+(license BSD-2-Clause)
+
 (authors
   "Alasdair Armstrong"
   "Thomas Bauereiss"