Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

@isl-lang/verifier-runtime

Runtime verification engine for ISL implementations

Ecosystem
npmjs.org
Latest Release
1.0.0
about 2 months ago
Versions
2
Past Dependents
Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter
Filter by Kind
All kinds
Links
Registry npmjs.org
Source Repository
Homepage Homepage
JSON API View JSON
CodeMeta codemeta.json
Package Details
PURL pkg:npm/%40isl-lang/verifier-runtime
spec
License MIT
Namespace isl-lang
First Release about 2 months ago
Last Synced 23 days ago
Keywords
isl verification runtime postconditions contracts runtime-probe playwright