diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 16:08:34 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 16:08:34 +0330 |
| commit | 76a4db8ef506e4fb2c3eb530a3d95904a42ca0cb (patch) | |
| tree | 6cf50f1bd3d5e44d8d0306e7547d072c9822fa27 /editors | |
| parent | bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main... (diff) | |
bounds checking: constant loop bound proof works, plain-op fixed-array check, docs (readme, spec 4.15 and friends, server, vscode), conformance and test.sh fixes, todo
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/vscode/syntaxes/zc.tmLanguage.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/vscode/syntaxes/zc.tmLanguage.json b/editors/vscode/syntaxes/zc.tmLanguage.json index fab026b..3869418 100644 --- a/editors/vscode/syntaxes/zc.tmLanguage.json +++ b/editors/vscode/syntaxes/zc.tmLanguage.json @@ -91,7 +91,7 @@ }, { "name": "keyword.other.zc", - "match": "\\b(as|unchecked|asm|quote|sizeof|typeof|len|cap|push|pop|resize|o3|include|embed|memdebug|fixed|typecheck)\\b" + "match": "\\b(as|unchecked|unbounded|asm|quote|sizeof|typeof|len|cap|push|pop|resize|o3|include|embed|memdebug|fixed|typecheck)\\b" }, { "name": "keyword.operator.memory.zc", |