certora.evmspec-lsp

Certora Verification Language LSP

Total downloads

3,134

7d gain

12

Rolling weekly delta

Rating

- / 5

0 reviews

Version

1.0.32

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: certora
Name: evmspec-lsp
License: -
Homepage: https://github.com/Certora/CVL-LanguageServer#readme
Repository: https://github.com/Certora/CVL-LanguageServer.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Write specifications for EVM bytecode in VS Code.

Archive

Release history

9 latest releases