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/static-analyzer

ISL static analyzer: tri-state logic (true/false/unknown) for postconditions and invariants without execution. Proves/disproves ISL conditions at compile time via type-constraint propagation.

Ecosystem
npmjs.org
Latest Release
1.0.0
about 2 months ago
Versions
2
Downloads
156 last month
    Loading...
    Readme
    Loading...
    Links
    Registry npmjs.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:npm/%40isl-lang/static-analyzer
    spec
    License MIT
    Namespace isl-lang
    First Release about 2 months ago
    Last Synced 27 days ago
    Keywords
    isl static-analysis expression postcondition invariant tri-state verification type-constraint proof