Sign in Sign up
npm

@firfi/itf-trace-parser

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

Latest release
Mar 12, 2026
Releases
7
Known CVEs
0
First release
Mar 07, 2026
License
MIT
View on Npm
Repository

Source

firfi/itf-trace-parser
Stars
—
Forks
—
Open issues
—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

No other tracked packages from this repository.

Insights

Activity

Total releases
7
Last 12 months
7
Cadence
~daily
Dependencies
3

Releases per month

last 12 months

Release mix

  • minor 1
  • patch 4
  • pre 1
7 releases
Dependencies

Depends on

0.2.0-effect4.0

Used by

1
Releases
Version Released
0.2.0-effect4.0 pre
0.1.2 patch
0.1.1 patch
0.1.0 minor
0.0.3 patch
0.0.2 patch
0.0.1 initial