Packages

An Elixir library for decoding and inspecting Apalache ITF traces.

Current section

1 Dependant

Jump to

Packages depending on itf

1 package
  • victoria v0.2.0 requires ~> 0.1.0

    Formal-model-driven conformance testing for Elixir implementations using TLA+ traces generated by Apalache.

    Updated 2 months ago

    122
    recent downloads
1 package of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 50 100 150 200

this version

277

yesterday

0

last 7 days

10

all time

277

Last Updated

Aug 06, 2026

License

MIT

Build Tools

mix

Publisher

kokjinsam kokjinsam

Links