Merge pull request #171 from succinctlabs/min/eclogup-tracegen

feat: v4.0.0-rc1

Author: tamirhemo

.gitignore

@@ -13,4 +13,5 @@
 
 # proof file from test
 prover/proof-with-pis.bin
-perf/proof-with-pis.bin
+perf/proof-with-pis.bin
+core_proof.bin

.vscode/settings.json

@@ -36,88 +36,33 @@
     ],
     "rust-analyzer.showUnlinkedFileNotification": false,
     "files.associations": {
-        "sstream": "cpp",
-        "system_error": "cpp",
-        "cctype": "cpp",
-        "clocale": "cpp",
-        "cmath": "cpp",
-        "cstdarg": "cpp",
-        "cstddef": "cpp",
-        "cstdio": "cpp",
-        "cstdlib": "cpp",
-        "cstring": "cpp",
-        "ctime": "cpp",
-        "cwchar": "cpp",
-        "cwctype": "cpp",
-        "array": "cpp",
-        "atomic": "cpp",
-        "bit": "cpp",
-        "*.tcc": "cpp",
-        "bitset": "cpp",
+        "random": "cpp",
         "chrono": "cpp",
-        "compare": "cpp",
-        "complex": "cpp",
-        "concepts": "cpp",
-        "condition_variable": "cpp",
         "cstdint": "cpp",
-        "deque": "cpp",
-        "list": "cpp",
-        "map": "cpp",
-        "set": "cpp",
-        "string": "cpp",
-        "unordered_map": "cpp",
-        "vector": "cpp",
-        "exception": "cpp",
-        "algorithm": "cpp",
+        "ratio": "cpp",
+        "system_error": "cpp",
+        "array": "cpp",
         "functional": "cpp",
-        "iterator": "cpp",
-        "memory": "cpp",
-        "memory_resource": "cpp",
-        "numeric": "cpp",
-        "optional": "cpp",
+        "tuple": "cpp",
+        "type_traits": "cpp",
+        "utility": "cpp",
+        "limits": "cpp"
+    },
+    "C_Cpp.default.includePath": [
+        "${workspaceFolder}/core/**/include",
+        "${workspaceFolder}/target/include",
+    ],
+    "C_Cpp.intelliSenseEngine": "Tag Parser",
+    "files.associations": {
         "random": "cpp",
+        "chrono": "cpp",
+        "cstdint": "cpp",
         "ratio": "cpp",
-        "string_view": "cpp",
+        "system_error": "cpp",
+        "array": "cpp",
+        "functional": "cpp",
         "tuple": "cpp",
         "type_traits": "cpp",
-        "utility": "cpp",
-        "initializer_list": "cpp",
-        "iomanip": "cpp",
-        "iosfwd": "cpp",
-        "iostream": "cpp",
-        "istream": "cpp",
-        "limits": "cpp",
-        "mutex": "cpp",
-        "new": "cpp",
-        "numbers": "cpp",
-        "ostream": "cpp",
-        "semaphore": "cpp",
-        "stdexcept": "cpp",
-        "stop_token": "cpp",
-        "streambuf": "cpp",
-        "thread": "cpp",
-        "cinttypes": "cpp",
-        "typeindex": "cpp",
-        "typeinfo": "cpp",
-        "variant": "cpp",
-        "__nullptr": "cpp",
-        "__locale": "cpp",
-        "ios": "cpp",
-        "fstream": "cpp",
-        "shared_mutex": "cpp",
-        "__config": "cpp",
-        "__functional_03": "cpp",
-        "__hash_table": "cpp",
-        "__tree": "cpp",
-        "locale": "cpp",
-        "stream_ref": "cpp",
-        "queue": "cpp",
-        "stack": "cpp",
-        "__bit_reference": "cpp",
-        "__functional_base": "cpp",
-        "__node_handle": "cpp",
-        "__memory": "cpp",
-        "filesystem": "cpp",
-        "__threading_support": "cpp"
+        "utility": "cpp"
     },
 }