From eb195c67dad82f4cdf3eaaeff47b71e541f8ee0b Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 19 Sep 2024 15:43:17 +0200 Subject: [PATCH] Update CHANGES.md --- CHANGES.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 75e1d42e5..c7c0fa133 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,17 @@ +# v1.20.0 (September 2024) + +Requires Menhir 20211230 and OCaml 4.08 or above. + +- Language: + - attribute `:remove` to remove a clause from the program + +- Compiler: + - Build the index at assembly time, rather than optimization time. + This makes compilation slower, but startup faster. + - Adding clauses before the type/mode declaration of a predicate + is now forbidden, since they are immediately inserted in the index + and the type/mode declaration can change the index type + # v1.19.6 (August 2024) Requires Menhir 20211230 and OCaml 4.08 or above.