From c02e95ab936ad6b37490ace71305b76d8844a929 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 13 Oct 2020 09:55:08 +0200
Subject: [PATCH] Update Changelog after !2098
---
Changelog | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Changelog b/Changelog
index 5326327f763..5c98c77edf6 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
Open Source Release <next-release>
##################################
+- Aorai [2020-10-13] Ya automata can set auxiliary variables during a
+ transition, and use such variables in subsequent guards.
- Kernel [2020-10-09] Add option -print-config-json, to output Frama-C
configuration data in JSON format.
- Metrics [2020-10-01] Distinguish between undefined but specified functions
--
GitLab