pancake: update README, shared memory syntax

CakeML · Mar 19, 2024 · cd7dd27 · cd7dd27
1 parent 2216257
commit cd7dd27
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/pancake/parser/README.md b/pancake/parser/README.md
@@ -2,6 +2,8 @@ The Pancake parser.
 
 [panConcreteExamplesScript.sml](panConcreteExamplesScript.sml):
 * Pancake concrete syntax examples
+* 9th May 2023: Updated with function declarations
+* March 2024: Updated with shared memory instructions
 
 [panLexerScript.sml](panLexerScript.sml):
 * The beginnings of a lexer for the Pancake language.

diff --git a/pancake/parser/panConcreteExamplesScript.sml b/pancake/parser/panConcreteExamplesScript.sml
@@ -1,6 +1,7 @@
 (**
  * Pancake concrete syntax examples
  * 9th May 2023: Updated with function declarations
+ * March 2024: Updated with shared memory instructions
  *)
 open HolKernel Parse boolLib bossLib stringLib numLib intLib;
 open preamble panPtreeConversionTheory;