Merge remote-tracking branch 'origin/development' into optimize-alias

hernanponcedeleon · Jan 16, 2024 · 15c7ed4 · 15c7ed4
2 parents 6d20f2a + 4d76582
commit 15c7ed4
Show file tree

Hide file tree

Showing 73 changed files with 21,584 additions and 72 deletions.
diff --git a/dartagnan/src/main/antlr4/LitmusPTX.g4 b/dartagnan/src/main/antlr4/LitmusPTX.g4
@@ -107,7 +107,7 @@ loadInstruction
     ;
 
 localValue
-    :   load Period mo (Period scope)? register Comma value
+    :   load register Comma value
     ;
 
 localAdd

diff --git a/dartagnan/src/main/antlr4/Spirv.g4 b/dartagnan/src/main/antlr4/Spirv.g4