Total downloads
236
rederive.sir-lang
SIR — Semantic IR for rederive
7d gain
94
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.2.1
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- rederive
- Name
- sir-lang
- License
- Apache-2.0
- Homepage
- https://rederive.ai
- Repository
- https://github.com/rederive/vscode-sir
- Reviews
- 0
Taxonomy
Categories
Description
Read and write SIR contracts with rdv's own checks as you type: binding and oracle hashes, the v0.5 lints, rule hovers and cross-file navigation, an outline of the rules, and a formatter that can never stale a binding.
Archive