Skip to content

Commit aa12502

Browse files
author
maramihali
committed
undo changes
1 parent 9e3b302 commit aa12502

File tree

1 file changed

+136
-136
lines changed

1 file changed

+136
-136
lines changed

‎proving-systems.code-workspace‎

Lines changed: 136 additions & 136 deletions
Original file line numberDiff line numberDiff line change
@@ -1,150 +1,150 @@
11
{
2-
// Each "folder" can define a different project in the main repo,
3-
// relative to `.code-workspace`.
4-
"folders": [
5-
{
6-
"name": "aztec-packages",
7-
"path": "./"
2+
// Each "folder" can define a different project in the main repo,
3+
// relative to `.code-workspace`.
4+
"folders": [
5+
{
6+
"name": "aztec-packages",
7+
"path": "./"
88
},
9-
],
10-
// List recommended extensions for the whole workspace.
11-
"extensions": {
12-
"recommendations": [
13-
"GitHub.vscode-pull-request-github",
14-
// Enables CMake integration and configuration
15-
// for easier building
16-
"ms-vscode.cmake-tools",
17-
// Provides a nice UI for listing all Google Test
18-
// tests, including launching a debug session
19-
// for a specific test directly.
20-
// Also provides buttons alongside test definitions.
21-
"matepek.vscode-catch2-test-adapter",
22-
// Integrates the `clangd` language server for
23-
// - code formatting (clang-format)
24-
// - static analysis (clang-tidy)
25-
// - hints, tooltips, and more.
26-
"llvm-vs-code-extensions.vscode-clangd",
27-
// Better syntax highlighting for C++.
28-
// Make sure to select one of the themes suggested
29-
// (e.g. "Dark+")
30-
"jeff-hykin.better-cpp-syntax",
31-
// Handle CMakeLists.txt editing
32-
"twxs.cmake",
33-
// Integrates LLDB debugger
34-
"vadimcn.vscode-lldb",
35-
// Generate nicer Doxygen comments
36-
"cschlosser.doxdocgen",
37-
// Makes the CMake build output slightly
38-
// prettier.
39-
"IBM.output-colorizer",
40-
"eamodio.gitlens",
41-
"esbenp.prettier-vscode"
429
],
43-
"unwantedRecommendations": [
44-
// The following may have been installed
45-
// and cause some confusion when running
46-
// tests.
47-
// The options provided by C++ TestMate
48-
// should be good enough.
49-
"ms-vscode.cpptools-themes",
50-
"hbenl.vscode-test-explorer",
51-
"ms-vscode.test-adapter-converter",
52-
"fredericbonnet.cmake-test-adapter",
53-
"ms-vscode.cpptools-extension-pack",
54-
// Used to enable GDB debugging
55-
// Most features are disabled in `settings.json`
56-
// which confict with `clangd`
57-
// Since we ignore GDB, we no longer need this extension
58-
"ms-vscode.cpptools"
59-
]
60-
},
61-
// Global settings which will apply to all subprojects.
62-
// Each subproject may have their own `.vscode/settings.json`
63-
// for configuring extensions which are specific to a certain project.
64-
// Some settings can only be configured here.
65-
"settings": {
66-
"files.associations": {
67-
"*.tcc": "cpp",
10+
// List recommended extensions for the whole workspace.
11+
"extensions": {
12+
"recommendations": [
13+
"GitHub.vscode-pull-request-github",
14+
// Enables CMake integration and configuration
15+
// for easier building
16+
"ms-vscode.cmake-tools",
17+
// Provides a nice UI for listing all Google Test
18+
// tests, including launching a debug session
19+
// for a specific test directly.
20+
// Also provides buttons alongside test definitions.
21+
"matepek.vscode-catch2-test-adapter",
22+
// Integrates the `clangd` language server for
23+
// - code formatting (clang-format)
24+
// - static analysis (clang-tidy)
25+
// - hints, tooltips, and more.
26+
"llvm-vs-code-extensions.vscode-clangd",
27+
// Better syntax highlighting for C++.
28+
// Make sure to select one of the themes suggested
29+
// (e.g. "Dark+")
30+
"jeff-hykin.better-cpp-syntax",
31+
// Handle CMakeLists.txt editing
32+
"twxs.cmake",
33+
// Integrates LLDB debugger
34+
"vadimcn.vscode-lldb",
35+
// Generate nicer Doxygen comments
36+
"cschlosser.doxdocgen",
37+
// Makes the CMake build output slightly
38+
// prettier.
39+
"IBM.output-colorizer",
40+
"eamodio.gitlens",
41+
"esbenp.prettier-vscode"
42+
],
43+
"unwantedRecommendations": [
44+
// The following may have been installed
45+
// and cause some confusion when running
46+
// tests.
47+
// The options provided by C++ TestMate
48+
// should be good enough.
49+
"ms-vscode.cpptools-themes",
50+
"hbenl.vscode-test-explorer",
51+
"ms-vscode.test-adapter-converter",
52+
"fredericbonnet.cmake-test-adapter",
53+
"ms-vscode.cpptools-extension-pack",
54+
// Used to enable GDB debugging
55+
// Most features are disabled in `settings.json`
56+
// which confict with `clangd`
57+
// Since we ignore GDB, we no longer need this extension
58+
"ms-vscode.cpptools"
59+
]
6860
},
69-
//
70-
// Clangd. Note that this setting may be overridden by user settings
71-
// to the default value "clangd".
72-
//
73-
"clangd.path": "clangd-20",
74-
// We should disable automatic inclusion of headers unless we decide to follow "WhyIWYU".
61+
// Global settings which will apply to all subprojects.
62+
// Each subproject may have their own `.vscode/settings.json`
63+
// for configuring extensions which are specific to a certain project.
64+
// Some settings can only be configured here.
65+
"settings": {
66+
"files.associations": {
67+
"*.tcc": "cpp",
68+
},
69+
//
70+
// Clangd. Note that this setting may be overridden by user settings
71+
// to the default value "clangd".
72+
//
73+
"clangd.path": "clangd-16",
74+
// We should disable automatic inclusion of headers unless we decide to follow "WhyIWYU".
7575
"clangd.arguments": [
7676
"-header-insertion=never"
7777
],
78-
//
79-
// CMake
80-
//
81-
// Location of base CMakeLists file
82-
"cmake.sourceDirectory": "${workspaceFolder}/barretenberg/cpp/",
83-
//
84-
// C/C++ (should be disabled)
85-
//
86-
// Make sure all C++ IntelliSense features are disabled
87-
// and don't interfere with clangd
88-
"C_Cpp.intelliSenseEngine": "disabled",
89-
"C_Cpp.autocomplete": "disabled",
90-
"C_Cpp.codeAnalysis.clangTidy.codeAction.formatFixes": false,
91-
"C_Cpp.codeAnalysis.runAutomatically": false,
92-
"C_Cpp.configurationWarnings": "disabled",
93-
"C_Cpp.debugShortcut": false,
94-
"C_Cpp.default.enableConfigurationSquiggles": false,
95-
"C_Cpp.formatting": "disabled",
96-
"C_Cpp.vcpkg.enabled": false,
97-
//
98-
// TestMate
99-
//
100-
// Ensures tests are run from the `build` directory
101-
// which ensures SRS can be read
102-
"testMate.cpp.test.workingDirectory": "${command:cmake.buildDirectory}",
103-
// Filter all binaries that are not tests or benchmarks
104-
"testMate.cpp.test.executables": "${command:cmake.buildDirectory}/bin/*{test,Test,TEST,bench}*",
105-
//
106-
// Other
107-
//
108-
"editor.tokenColorCustomizations": {
109-
"textMateRules": [
110-
{
111-
"scope": "googletest.failed",
112-
"settings": {
113-
"foreground": "#f00"
114-
}
78+
//
79+
// CMake
80+
//
81+
// Location of base CMakeLists file
82+
"cmake.sourceDirectory": "${workspaceFolder}/barretenberg/cpp/",
83+
//
84+
// C/C++ (should be disabled)
85+
//
86+
// Make sure all C++ IntelliSense features are disabled
87+
// and don't interfere with clangd
88+
"C_Cpp.intelliSenseEngine": "disabled",
89+
"C_Cpp.autocomplete": "disabled",
90+
"C_Cpp.codeAnalysis.clangTidy.codeAction.formatFixes": false,
91+
"C_Cpp.codeAnalysis.runAutomatically": false,
92+
"C_Cpp.configurationWarnings": "disabled",
93+
"C_Cpp.debugShortcut": false,
94+
"C_Cpp.default.enableConfigurationSquiggles": false,
95+
"C_Cpp.formatting": "disabled",
96+
"C_Cpp.vcpkg.enabled": false,
97+
//
98+
// TestMate
99+
//
100+
// Ensures tests are run from the `build` directory
101+
// which ensures SRS can be read
102+
"testMate.cpp.test.workingDirectory": "${command:cmake.buildDirectory}",
103+
// Filter all binaries that are not tests or benchmarks
104+
"testMate.cpp.test.executables": "${command:cmake.buildDirectory}/bin/*{test,Test,TEST,bench}*",
105+
//
106+
// Other
107+
//
108+
"editor.tokenColorCustomizations": {
109+
"textMateRules": [
110+
{
111+
"scope": "googletest.failed",
112+
"settings": {
113+
"foreground": "#f00"
114+
}
115+
},
116+
{
117+
"scope": "googletest.passed",
118+
"settings": {
119+
"foreground": "#0f0"
120+
}
121+
},
122+
{
123+
"scope": "googletest.run",
124+
"settings": {
125+
"foreground": "#0f0"
126+
}
127+
}
128+
]
115129
},
116-
{
117-
"scope": "googletest.passed",
118-
"settings": {
119-
"foreground": "#0f0"
120-
}
130+
"[cpp]": {
131+
"editor.defaultFormatter": "llvm-vs-code-extensions.vscode-clangd"
121132
},
122-
{
123-
"scope": "googletest.run",
124-
"settings": {
125-
"foreground": "#0f0"
126-
}
127-
}
128-
]
129-
},
130-
"[cpp]": {
131-
"editor.defaultFormatter": "llvm-vs-code-extensions.vscode-clangd"
132-
},
133133
"cmake.configureArgs": [
134134
"-G Ninja"
135135
],
136-
"cmake.useCMakePresets": "always",
137-
"editor.inlayHints.enabled": "offUnlessPressed",
138-
"git.detectSubmodules": false,
139-
"testMate.cpp.discovery.loadOnStartup": false,
140-
"testMate.cpp.debug.configTemplate": {
141-
"type": "lldb",
142-
"MIMode": "lldb",
143-
"program": "${exec}",
144-
"args": "${argsArray}",
145-
"cwd": "${command:cmake.buildDirectory}",
146-
"internalConsoleOptions": "openOnSessionStart",
136+
"cmake.useCMakePresets": "always",
137+
"editor.inlayHints.enabled": "offUnlessPressed",
138+
"git.detectSubmodules": false,
139+
"testMate.cpp.discovery.loadOnStartup": false,
140+
"testMate.cpp.debug.configTemplate": {
141+
"type": "lldb",
142+
"MIMode": "lldb",
143+
"program": "${exec}",
144+
"args": "${argsArray}",
145+
"cwd": "${command:cmake.buildDirectory}",
146+
"internalConsoleOptions": "openOnSessionStart",
147147
"console": "internalConsole",
148-
}
148+
}
149149
},
150-
}
150+
}

0 commit comments

Comments
 (0)