зеркало из https://github.com/microsoft/CCF.git
21 строка
509 B
JSON
21 строка
509 B
JSON
{
|
|
"name": "TLA+ CCF",
|
|
"extensions": [
|
|
"alygin.vscode-tlaplus-nightly",
|
|
"joaompinto.vscode-graphviz",
|
|
"EFanZh.graphviz-preview",
|
|
"cssho.vscode-svgviewer"
|
|
],
|
|
"settings": {
|
|
"tlaplus.tlc.statisticsSharing": "share",
|
|
"tlaplus.java.options": "-XX:+UseParallelGC",
|
|
"tlaplus.java.home": "/home/codespace/.java/current/",
|
|
"[tlaplus]": {
|
|
"editor.codeActionsOnSave": {
|
|
"source": true
|
|
}
|
|
}
|
|
},
|
|
"postCreateCommand": "(cd tla/ && python install_deps.py)"
|
|
}
|