Data

Tools

Indexes

Applications

Experiments

Packages

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

@firfi/itf-trace-parser

ITF (Informal Trace Format) trace parser for TLA+/Apalache counterexamples

Ecosystem
npmjs.org
Latest Release
0.1.2
2 days ago
Versions
6
    Loading...
    Readme
    Loading...
    Links
    Registry npmjs.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:npm/%40firfi/itf-trace-parser
    spec
    License MIT
    Namespace firfi
    First Release 2 days ago
    Last Synced about 14 hours ago
    Keywords
    itf trace parser effect schema tla+ apalache