chore: add comment indicating CryptoVerif terms

2026-01-17 07:23:53 -08:00 · 2025-11-25 15:58:45 +01:00
parent 7b1a62b6bb
commit 3942bfa65e
1 changed files with 2 additions and 2 deletions
--- a/marzipan/src/parser.py
+++ b/marzipan/src/parser.py
@@ -19,7 +19,7 @@ reserved_words = [
    "elimtrue",
    "else",
    "equation",
-    "equivalence",  # no rule yet
+    "equivalence",  # no rule yet (this is CryptoVerif-specific)
    "event",
    "expand",
    "fail",
@@ -30,7 +30,7 @@ reserved_words = [
    "fun",
    "get",
    "if",
-    "implementation",  # no rule yet
+    "implementation",  # no rule yet (this is CryptoVerif-specific)
    "in",
    "inj-event",
    "insert",