Open VSX Tracker
Back to leaderboard
Certora Verification Language LSP icon

Certora Verification Language LSP

certora.evmspec-lsp

Write specifications for EVM bytecode in VS Code.

Open VSX Repository Homepage Issues
__ext_cvl__ext_specCertoraVerificationLanguageCVLEVMSpecspecProgramming Languages

Open VSX

Total downloads
5,272
Since yesterday
+4
Current version
v1.0.32
Days tracked
125

Download history

Snapshot log

Scraped at (UTC)Open VSX DLsVersion
2026-10-30 02:00:005,272v1.0.32
2026-10-29 02:00:005,268v1.0.32
2026-10-28 02:00:005,248v1.0.32
2026-10-27 02:00:005,220v1.0.32
2026-10-26 02:00:005,190v1.0.32
2026-10-25 02:00:005,142v1.0.32
2026-10-24 02:00:005,120v1.0.32
2026-10-23 02:00:005,100v1.0.32
2026-10-22 02:00:005,064v1.0.32
2026-10-21 02:00:005,040v1.0.32
2026-10-20 02:00:005,022v1.0.32
2026-10-19 02:00:004,978v1.0.32
2026-10-18 02:00:004,946v1.0.32
2026-10-17 02:00:004,928v1.0.32
2026-10-16 02:00:004,910v1.0.32
2026-10-15 02:00:004,890v1.0.32
2026-10-14 02:00:004,868v1.0.32
2026-10-13 02:00:004,836v1.0.32
2026-10-12 02:00:004,818v1.0.32
2026-10-11 02:00:004,788v1.0.32
2026-10-10 02:00:004,756v1.0.32
2026-10-09 02:00:004,736v1.0.32
2026-10-08 02:00:004,718v1.0.32
2026-10-07 02:00:004,700v1.0.32
2026-10-06 02:00:004,664v1.0.32
2026-10-05 02:00:004,648v1.0.32
2026-10-04 02:00:004,620v1.0.32
2026-10-03 02:00:004,572v1.0.32
2026-10-02 02:00:004,554v1.0.32
2026-10-01 02:00:004,536v1.0.32
2026-09-30 02:00:004,518v1.0.32
2026-09-29 02:00:004,500v1.0.32
2026-09-28 02:00:004,482v1.0.32
2026-09-27 02:00:004,454v1.0.32
2026-09-26 02:00:004,434v1.0.32
2026-09-25 02:00:004,270v1.0.32
2026-09-24 02:00:004,192v1.0.32
2026-09-23 02:00:004,174v1.0.32
2026-09-22 02:00:004,156v1.0.32
2026-09-21 02:00:004,152v1.0.32
2026-09-20 02:00:004,124v1.0.32
2026-09-19 02:00:004,106v1.0.32
2026-09-18 02:00:004,058v1.0.32
2026-09-17 02:00:004,040v1.0.32
2026-09-16 02:00:004,022v1.0.32
2026-09-15 11:36:374,006v1.0.32
2026-09-14 02:00:003,986v1.0.32
2026-09-13 02:00:003,974v1.0.32
2026-09-12 06:52:153,972v1.0.32
2026-09-11 02:00:003,970v1.0.32
2026-09-10 02:00:003,968v1.0.32
2026-09-09 02:00:003,966v1.0.32
2026-09-08 02:00:003,964v1.0.32
2026-09-07 02:00:003,944v1.0.32
2026-09-06 02:00:003,940v1.0.32
2026-09-05 02:00:003,938v1.0.32
2026-09-04 02:00:003,936v1.0.32
2026-09-03 02:00:003,934v1.0.32
2026-09-02 02:00:003,932v1.0.32
2026-09-01 02:00:003,916v1.0.32
2026-08-31 02:00:003,898v1.0.32
2026-08-30 02:00:003,894v1.0.32
2026-08-29 02:00:003,892v1.0.32
2026-08-28 02:00:003,888v1.0.32
2026-08-27 02:00:003,886v1.0.32
2026-08-26 02:00:003,862v1.0.32
2026-08-25 02:00:003,860v1.0.32
2026-08-24 02:00:003,858v1.0.32
2026-08-23 02:00:003,852v1.0.32
2026-08-22 02:00:003,850v1.0.32
2026-08-21 02:00:003,848v1.0.32
2026-08-20 02:00:003,846v1.0.32
2026-08-19 02:00:003,844v1.0.32
2026-08-18 02:00:003,842v1.0.32
2026-08-17 02:00:003,840v1.0.32
2026-08-16 02:00:003,838v1.0.32
2026-08-15 02:00:003,836v1.0.32
2026-08-14 02:00:003,826v1.0.32
2026-08-13 02:00:003,824v1.0.32
2026-08-12 02:00:003,822v1.0.32
2026-08-11 02:00:003,820v1.0.32
2026-08-10 02:00:003,818v1.0.32
2026-08-09 02:00:003,816v1.0.32
2026-08-08 02:00:003,814v1.0.32
2026-08-07 02:00:003,812v1.0.32
2026-08-06 02:00:003,804v1.0.32
2026-08-05 02:00:003,798v1.0.32
2026-08-04 02:00:003,794v1.0.32
2026-08-03 02:00:003,784v1.0.32
2026-08-02 02:00:003,778v1.0.32
2026-08-01 02:00:003,766v1.0.32
2026-07-31 02:00:003,756v1.0.32
2026-07-30 02:00:003,750v1.0.32
2026-07-29 06:50:173,744v1.0.32
2026-07-28 02:00:003,736v1.0.32
2026-07-27 02:00:003,726v1.0.32
2026-07-26 02:00:003,722v1.0.32
2026-07-25 02:00:003,712v1.0.32
2026-07-24 02:00:003,704v1.0.32
2026-07-23 02:00:003,698v1.0.32
2026-07-22 02:00:003,694v1.0.32
2026-07-21 02:00:003,686v1.0.32
2026-07-20 02:00:003,680v1.0.32
2026-07-19 02:00:003,676v1.0.32
2026-07-18 02:00:003,674v1.0.32
2026-07-17 02:00:003,672v1.0.32
2026-07-16 02:00:003,670v1.0.32
2026-07-15 02:00:003,666v1.0.32
2026-07-14 02:00:003,660v1.0.32
2026-07-13 02:00:003,656v1.0.32
2026-07-12 02:00:003,652v1.0.32
2026-07-11 02:00:003,652v1.0.32
2026-07-10 02:00:003,648v1.0.32
2026-07-09 05:29:223,646v1.0.32
2026-07-08 02:00:003,642v1.0.32
2026-07-07 02:00:003,638v1.0.32
2026-07-06 02:00:003,636v1.0.32
2026-07-05 02:00:003,634v1.0.32
2026-07-04 02:00:003,630v1.0.32
2026-07-03 08:30:393,628v1.0.32
2026-07-02 02:00:003,506v1.0.32
2026-07-01 02:00:003,502v1.0.32
2026-06-30 02:00:003,500v1.0.32
2026-06-29 14:14:453,500v1.0.32
2026-06-28 07:06:243,317v1.0.32