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
0.1.2
Published: 2 days ago
Registry - Download sha512-ruegLvKQHX71t...
0.1.1
Published: 2 days ago
Registry - Download sha512-qPHRj3XUPA8UI...
0.1.0
Published: 2 days ago
Registry - Download sha512-Nn4yTGBXXs6HW...
0.0.3
Published: 2 days ago
Registry - Download sha512-W+gILA2GxIbjj...
0.0.2
Published: 2 days ago
Registry - Download sha512-gvvAKP1e03Pgu...
0.0.1
Published: 2 days ago
Registry - Download sha512-8VHjTvi01j8Yk...
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 1 day ago
Keywords
itf trace parser effect schema tla+ apalache