initial commit

pietrotedeschi · May 16, 2021 · f6988f5 · f6988f5
1 parent 76d48b4
commit f6988f5
Show file tree

Hide file tree

Showing 9 changed files with 755 additions and 0 deletions.
diff --git a/.vscode/c_cpp_properties.json b/.vscode/c_cpp_properties.json
@@ -0,0 +1,16 @@
+{
+    "configurations": [
+        {
+            "name": "Linux",
+            "includePath": [
+                "${workspaceFolder}/**"
+            ],
+            "defines": [],
+            "compilerPath": "/usr/bin/gcc",
+            "cStandard": "gnu17",
+            "cppStandard": "gnu++14",
+            "intelliSenseMode": "linux-gcc-x64"
+        }
+    ],
+    "version": 4
+}
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,8 @@
+{
+    "files.associations": {
+        "*.pv": "ocaml",
+        "termios.h": "c",
+        "arid.h": "c",
+        "unistd.h": "c"
+    }
+}
diff --git a/arid b/arid