[process_queue]: Serving Request: initialize
[init]: custom client options:
[init]: {
          "client_version": "0.1.3",
          "eager_diagnostics": true,
          "ok_diagnostics": false,
          "goal_after_tactic": false,
          "show_coq_info_messages": false,
          "show_notices_as_diagnostics": false,
          "admit_on_bad_qed": true
        }
[init]: client capabilities:
[init]: {
          "workspace": {
            "applyEdit": true,
            "workspaceEdit": {
              "documentChanges": true,
              "resourceOperations": [ "create", "rename", "delete" ],
              "failureHandling": "textOnlyTransactional",
              "normalizesLineEndings": true,
              "changeAnnotationSupport": { "groupsOnLabel": true }
            },
            "configuration": true,
            "didChangeWatchedFiles": {
              "dynamicRegistration": true,
              "relativePatternSupport": true
            },
            "symbol": {
              "dynamicRegistration": true,
              "symbolKind": {
                "valueSet": [
                  1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
                  18, 19, 20, 21, 22, 23, 24, 25, 26
                ]
              },
              "tagSupport": { "valueSet": [ 1 ] },
              "resolveSupport": { "properties": [ "location.range" ] }
            },
            "codeLens": { "refreshSupport": true },
            "executeCommand": { "dynamicRegistration": true },
            "didChangeConfiguration": { "dynamicRegistration": true },
            "workspaceFolders": true,
            "semanticTokens": { "refreshSupport": true },
            "fileOperations": {
              "dynamicRegistration": true,
              "didCreate": true,
              "didRename": true,
              "didDelete": true,
              "willCreate": true,
              "willRename": true,
              "willDelete": true
            },
            "inlineValue": { "refreshSupport": true },
            "inlayHint": { "refreshSupport": true },
            "diagnostics": { "refreshSupport": true }
          },
          "textDocument": {
            "publishDiagnostics": {
              "relatedInformation": true,
              "versionSupport": false,
              "tagSupport": { "valueSet": [ 1, 2 ] },
              "codeDescriptionSupport": true,
              "dataSupport": true
            },
            "synchronization": {
              "dynamicRegistration": true,
              "willSave": true,
              "willSaveWaitUntil": true,
              "didSave": true
            },
            "completion": {
              "dynamicRegistration": true,
              "contextSupport": true,
              "completionItem": {
                "snippetSupport": true,
                "commitCharactersSupport": true,
                "documentationFormat": [ "markdown", "plaintext" ],
                "deprecatedSupport": true,
                "preselectSupport": true,
                "tagSupport": { "valueSet": [ 1 ] },
                "insertReplaceSupport": true,
                "resolveSupport": {
                  "properties": [
                    "documentation", "detail", "additionalTextEdits"
                  ]
                },
                "insertTextModeSupport": { "valueSet": [ 1, 2 ] },
                "labelDetailsSupport": true
              },
              "insertTextMode": 2,
              "completionItemKind": {
                "valueSet": [
                  1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
                  18, 19, 20, 21, 22, 23, 24, 25
                ]
              },
              "completionList": {
                "itemDefaults": [
                  "commitCharacters", "editRange", "insertTextFormat",
                  "insertTextMode"
                ]
              }
            },
            "hover": {
              "dynamicRegistration": true,
              "contentFormat": [ "markdown", "plaintext" ]
            },
            "signatureHelp": {
              "dynamicRegistration": true,
              "signatureInformation": {
                "documentationFormat": [ "markdown", "plaintext" ],
                "parameterInformation": { "labelOffsetSupport": true },
                "activeParameterSupport": true
              },
              "contextSupport": true
            },
            "definition": {
              "dynamicRegistration": true,
              "linkSupport": true
            },
            "references": { "dynamicRegistration": true },
            "documentHighlight": { "dynamicRegistration": true },
            "documentSymbol": {
              "dynamicRegistration": true,
              "symbolKind": {
                "valueSet": [
                  1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
                  18, 19, 20, 21, 22, 23, 24, 25, 26
                ]
              },
              "hierarchicalDocumentSymbolSupport": true,
              "tagSupport": { "valueSet": [ 1 ] },
              "labelSupport": true
            },
            "codeAction": {
              "dynamicRegistration": true,
              "isPreferredSupport": true,
              "disabledSupport": true,
              "dataSupport": true,
              "resolveSupport": { "properties": [ "edit" ] },
              "codeActionLiteralSupport": {
                "codeActionKind": {
                  "valueSet": [
                    "", "quickfix", "refactor", "refactor.extract",
                    "refactor.inline", "refactor.rewrite", "source",
                    "source.organizeImports"
                  ]
                }
              },
              "honorsChangeAnnotations": false
            },
            "codeLens": { "dynamicRegistration": true },
            "formatting": { "dynamicRegistration": true },
            "rangeFormatting": { "dynamicRegistration": true },
            "onTypeFormatting": { "dynamicRegistration": true },
            "rename": {
              "dynamicRegistration": true,
              "prepareSupport": true,
              "prepareSupportDefaultBehavior": 1,
              "honorsChangeAnnotations": true
            },
            "documentLink": {
              "dynamicRegistration": true,
              "tooltipSupport": true
            },
            "typeDefinition": {
              "dynamicRegistration": true,
              "linkSupport": true
            },
            "implementation": {
              "dynamicRegistration": true,
              "linkSupport": true
            },
            "colorProvider": { "dynamicRegistration": true },
            "foldingRange": {
              "dynamicRegistration": true,
              "rangeLimit": 5000,
              "lineFoldingOnly": true,
              "foldingRangeKind": {
                "valueSet": [ "comment", "imports", "region" ]
              },
              "foldingRange": { "collapsedText": false }
            },
            "declaration": {
              "dynamicRegistration": true,
              "linkSupport": true
            },
            "selectionRange": { "dynamicRegistration": true },
            "callHierarchy": { "dynamicRegistration": true },
            "semanticTokens": {
              "dynamicRegistration": true,
              "tokenTypes": [
                "namespace", "type", "class", "enum", "interface", "struct",
                "typeParameter", "parameter", "variable", "property",
                "enumMember", "event", "function", "method", "macro",
                "keyword", "modifier", "comment", "string", "number",
                "regexp", "operator", "decorator"
              ],
              "tokenModifiers": [
                "declaration", "definition", "readonly", "static",
                "deprecated", "abstract", "async", "modification",
                "documentation", "defaultLibrary"
              ],
              "formats": [ "relative" ],
              "requests": { "range": true, "full": { "delta": true } },
              "multilineTokenSupport": false,
              "overlappingTokenSupport": false,
              "serverCancelSupport": true,
              "augmentsSyntaxTokens": true
            },
            "linkedEditingRange": { "dynamicRegistration": true },
            "typeHierarchy": { "dynamicRegistration": true },
            "inlineValue": { "dynamicRegistration": true },
            "inlayHint": {
              "dynamicRegistration": true,
              "resolveSupport": {
                "properties": [
                  "tooltip", "textEdits", "label.tooltip", "label.location",
                  "label.command"
                ]
              }
            },
            "diagnostic": {
              "dynamicRegistration": true,
              "relatedDocumentSupport": false
            }
          },
          "window": {
            "showMessage": {
              "messageActionItem": { "additionalPropertiesSupport": true }
            },
            "showDocument": { "support": true },
            "workDoneProgress": true
          },
          "general": {
            "staleRequestSupport": {
              "cancel": true,
              "retryOnContentModified": [
                "textDocument/semanticTokens/full",
                "textDocument/semanticTokens/range",
                "textDocument/semanticTokens/full/delta"
              ]
            },
            "regularExpressions": {
              "engine": "ECMAScript",
              "version": "ES2020"
            },
            "markdown": {
              "parser": "marked",
              "version": "1.1.0",
              "allowedTags": [
                "ul", "li", "p", "code", "blockquote", "ol", "h1", "h2",
                "h3", "h4", "h5", "h6", "hr", "em", "pre", "table", "thead",
                "tbody", "tr", "th", "td", "div", "del", "a", "strong", "br",
                "img", "span"
              ]
            },
            "positionEncodings": [ "utf-16" ]
          },
          "notebookDocument": {
            "synchronization": {
              "dynamicRegistration": true,
              "executionSummarySupport": true
            }
          }
        }
[init]: trace: messages
[process_queue]: Serving Request: initialized
[process_queue]: Serving Request: textDocument/didOpen
[process_queue]: resuming document checking
[check]: resuming, from: 0 l: 1
[check]: done [1673936769.92]: document fully checked File "file:///home/user/RegularBracketString/hello.v", line 1, characters 0-0
[cache]: hashing: 0.000022 | parsing: 0.000065 | exec: 4.068782
[cache]: cache hit rate: 0.00

[process_queue]: Serving Request: $/setTrace
[no_handler]: $/setTrace
[process_queue]: resuming document checking
[check]: resuming, from: 0 l: 1
[check]: done [1673936773.01]: document fully checked File "file:///home/user/RegularBracketString/hello.v", line 1, characters 0-0
[cache]: hashing: 0.000028 | parsing: 0.000049 | exec: 3.092437
[cache]: cache hit rate: 0.00

[process_queue]: Serving Request: $/setTrace
[no_handler]: $/setTrace
[process_queue]: Serving Request: $/setTrace
[no_handler]: $/setTrace
[process_queue]: Serving Request: textDocument/documentSymbol
[process_queue]: resuming document checking
[check]: resuming, from: 0 l: 1
[check]: done [1673936776.24]: document fully checked File "file:///home/user/RegularBracketString/hello.v", line 448, characters 0-1
[cache]: hashing: 0.024806 | parsing: 0.240108 | exec: 2.027038
[cache]: cache hit rate: 0.00

[process_queue]: Serving Request: textDocument/hover
[process_queue]: Serving Request: textDocument/hover
[process_queue]: Serving Request: proof/goals
[process_queue]: Serving Request: proof/goals
[process_queue]: Serving Request: proof/goals
[process_queue]: Serving Request: proof/goals
[process_queue]: Serving Request: proof/goals