Allow PlusCal algorithms at top level (#117)

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
tlaplus-community · May 7, 2024 · 08d9156 · 08d9156
1 parent 763f9a4
commit 08d9156
Show file tree

Hide file tree

Showing 5 changed files with 909,678 additions and 908,074 deletions.
diff --git a/grammar.js b/grammar.js
diff --git a/src/grammar.json b/src/grammar.json
diff --git a/src/node-types.json b/src/node-types.json
diff --git a/src/parser.c b/src/parser.c
diff --git a/test/corpus/pluscal/assert.txt b/test/corpus/pluscal/assert.txt