RELEASES: Replace yacc with menhir

imitator-model-checker · Nov 8, 2024 · f055a31 · f055a31
1 parent 4b25e6e
commit f055a31
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/RELEASES.md b/RELEASES.md
@@ -6,6 +6,10 @@
 ### Major features
 * implement the integer hull [JLR15] to ensure termination of IM and EF over bounded parameter domains (work in progress)
 
+### Internal
+* Remplace ocamlyacc with Menhir
+
+
 *******************************************************
 ## release 3.4-alpha2 (2024-09-18) Cheese Durian