Merge remote-tracking branch 'origin/master' into conditional-constraints

CHANGES.md

@@ -1,14 +1,28 @@
 # next
 
+## Language changes
+
+* The foreign function interface (FFI) has been added, which allows Cryptol to
+  call functions written in C. See the [manual section](https://galoisinc.github.io/cryptol/RefMan/_build/html/FFI.html)
+  for more information.
+
+* The unary `-` operator now has the same precedence as binary `-`, meaning
+  expressions like `-x^^2` will now parse as `-(x^^2)` instead of `(-x)^^2`.
+  **This is a breaking change.** A warning has been added in cases where the
+  behavior has changed, and can be disabled with `:set warnPrefixAssoc=off`.
+
+* Infix operators are now allowed in import lists: `import M ((<+>))` will
+  import only the operator `<+>` from module `M`.
+
+## New features
+
+* Add a `:time` command to benchmark the evaluation time of expressions.
+
 ## Bug fixes
 
 * Fix a bug in the What4 backend that could cause applications of `(@)` with
   symbolic `Integer` indices to become out of bounds (#1359).
 
-## New features
-
-* Add a `:time` command to benchmark the evaluation time of expressions.
-
 # 2.13.0
 
 ## Language changes