Total downloads
10,622
RuntimeVerification.simbolik
Simbolik: Solidity Debugger
7d gain
168
Rolling weekly delta
Rating
1.00
/ 5
1 review
Version
16.0.0
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- RuntimeVerification
- Name
- simbolik
- License
- -
- Homepage
- https://github.com/runtimeverification/simbolik-vscode#readme
- Repository
- https://github.com/runtimeverification/simbolik-vscode.git
- Reviews
- 1
Taxonomy
Categories
Description
Advanced Solidity and EVM Debugger
Archive
Release history
- 16.0.0 2026-10-13
- 15.0.1 2026-03-25
- 15.0.0 2026-03-23
- 14.0.0 2026-03-17
- 13.0.0 2026-03-16
- 12.0.0 2025-12-11
- 11.1.3 2025-11-07
- 11.1.2 2025-10-30
- 11.1.1 2025-10-30
- 11.1.0 2025-09-15
- 11.0.1 2025-07-16
- 11.0.0 2025-07-16
- 10.0.4 2025-07-08
- 10.0.2 2025-07-01
- 10.0.1 2025-05-07
- 10.0.0 2025-04-19
- 9.0.0 2025-04-18
- 8.0.1 2025-04-18
- 8.0.0 2025-03-27
- 7.0.0 2025-03-06
- 6.0.2 2025-03-03
- 6.0.1 2025-02-20
- 5.0.0 2025-01-13
- 4.1.0 2024-12-19
- 4.0.1 2024-11-11