Add ZoKrates

boyter · May 6, 2024 · db1e46e · db1e46e
1 parent abc8742
commit db1e46e
Show file tree

Hide file tree

Showing 6 changed files with 63 additions and 21 deletions.
diff --git a/LANGUAGES.md b/LANGUAGES.md
@@ -293,5 +293,6 @@ Xtend (xtend)
 YAML (yaml,yml)
 Yarn (yarn)
 Zig (zig)
+ZoKrates (zok)
 Zsh (zsh,zshenv,zlogin,zlogout,zprofile,zshrc,.zshenv,.zlogin,.zlogout,.zprofile,.zshrc)
 ```
diff --git a/SCC-OUTPUT-REPORT.html b/SCC-OUTPUT-REPORT.html
@@ -18,7 +18,7 @@
 		<th>453</th>
 		<th>7424</th>
 		<th>1516</th>
-		<th>399177</th>
+		<th>399613</th>
 		<th>3929</th>
 	</tr><tr>
 		<td>processor/workers_test.go</td>
@@ -250,6 +250,16 @@
 		<td>0</td>
 	    <td>2222</td>
 		<td>35</td>
+	</tr><tr>
+		<td>processor/cocomo_test.go</td>
+		<td></td>
+		<td>37</td>
+		<td>8</td>
+		<td>4</td>
+		<td>25</td>
+		<td>6</td>
+	    <td>699</td>
+		<td>23</td>
 	</tr><tr>
 		<td>processor/bloom.go</td>
 		<td></td>
@@ -261,15 +271,15 @@
 	    <td>1051</td>
 		<td>29</td>
 	</tr><tr>
-		<td>processor/cocomo_test.go</td>
+		<td>processor/structs_test.go</td>
 		<td></td>
-		<td>37</td>
+		<td>32</td>
 		<td>8</td>
-		<td>4</td>
-		<td>25</td>
-		<td>6</td>
-	    <td>699</td>
+		<td>1</td>
 		<td>23</td>
+		<td>4</td>
+	    <td>517</td>
+		<td>19</td>
 	</tr><tr>
 		<td>processor/helpers.go</td>
 		<td></td>
@@ -280,16 +290,6 @@
 		<td>2</td>
 	    <td>544</td>
 		<td>21</td>
-	</tr><tr>
-		<td>processor/structs_test.go</td>
-		<td></td>
-		<td>32</td>
-		<td>8</td>
-		<td>1</td>
-		<td>23</td>
-		<td>4</td>
-	    <td>517</td>
-		<td>19</td>
 	</tr><tr>
 		<td>processor/processor_unix_test.go</td>
 		<td></td>
@@ -318,7 +318,7 @@
 		<td>0</td>
 		<td>4</td>
 		<td>0</td>
-	    <td>172689</td>
+	    <td>173125</td>
 		<td>5</td>
 	</tr></tbody>
 	<tfoot><tr>
@@ -329,7 +329,7 @@
 		<th>453</th>
 		<th>7424</th>
 		<th>1516</th>
-    	<th>399177</th>
+    	<th>399613</th>
 		<th>3929</th>
 	</tr>
 	<tr>

diff --git a/examples/language/zokrates.zok b/examples/language/zokrates.zok
@@ -0,0 +1,16 @@
+/*
+    This is a multi-line comment
+    written in more than just one line.
+*/
+
+def main() -> field {
+    // an inline comment
+
+    u32 mut res = 0;
+    for u32 i in 0..4 {
+        for u32 j in i..5 {
+            res = res + i;
+        }
+    }
+    return res;
+}
diff --git a/languages.json b/languages.json
@@ -8355,6 +8355,31 @@
       }
     ]
   },
+  "ZoKrates": {
+    "complexitychecks": [
+      "for ",
+      "if ",
+      "switch ",
+      "while ",
+      "else ",
+      "|| ",
+      "&& ",
+      "!= ",
+      "== "
+    ],
+    "line_comment": [
+      "//"
+    ],
+    "multi_line": [
+      [
+        "/*",
+        "*/"
+      ]
+    ],
+    "extensions": [
+      "zok"
+    ]
+  },
   "Ur/Web": {
     "complexitychecks": [
       "for ",

diff --git a/processor/constants.go b/processor/constants.go
diff --git a/test-all.sh b/test-all.sh
@@ -886,7 +886,7 @@ else
 fi
 
 # Try out specific languages
-for i in 'Bosque ' 'Flow9 ' 'Bitbucket Pipeline ' 'Docker ignore ' 'Q# ' 'Futhark ' 'Alloy ' 'Wren ' 'Monkey C ' 'Alchemist ' 'Luna ' 'ignore ' 'XML Schema ' 'Web Services' 'Go ' 'Java ' 'Boo ' 'License ' 'BASH ' 'C Shell ' 'Korn Shell ' 'Makefile ' 'Shell ' 'Zsh ' 'Rakefile ' 'Gemfile ' 'Dockerfile ' 'Yarn ' 'Sieve ' 'F# ' 'Elm ' 'Terraform ' 'Clojure ' 'C# ' 'LLVM IR ' 'HAML ' 'FXML ' 'DM ' 'Nushell ' 'Racket ' 'DOT ' 'YAML ' 'Teal ' 'FSL ' 'INI ' 'Hare ' 'Templ ' 'Cuda ' 'GraphQL ' 'Bicep ' 'Pkl ' 'TypeSpec ' 'LALRPOP ' 'Snakemake ' 'OpenQASM ' 'Typst '
+for i in 'Bosque ' 'Flow9 ' 'Bitbucket Pipeline ' 'Docker ignore ' 'Q# ' 'Futhark ' 'Alloy ' 'Wren ' 'Monkey C ' 'Alchemist ' 'Luna ' 'ignore ' 'XML Schema ' 'Web Services' 'Go ' 'Java ' 'Boo ' 'License ' 'BASH ' 'C Shell ' 'Korn Shell ' 'Makefile ' 'Shell ' 'Zsh ' 'Rakefile ' 'Gemfile ' 'Dockerfile ' 'Yarn ' 'Sieve ' 'F# ' 'Elm ' 'Terraform ' 'Clojure ' 'C# ' 'LLVM IR ' 'HAML ' 'FXML ' 'DM ' 'Nushell ' 'Racket ' 'DOT ' 'YAML ' 'Teal ' 'FSL ' 'INI ' 'Hare ' 'Templ ' 'Cuda ' 'GraphQL ' 'Bicep ' 'Pkl ' 'TypeSpec ' 'LALRPOP ' 'Snakemake ' 'OpenQASM ' 'Typst ' 'ZoKrates '
 do
     if ./scc "examples/language/" | grep -q "$i "; then
         echo -e "${GREEN}PASSED $i Language Check"