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 1 week ago

    96
    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 10 20 30 40

this version

93

yesterday

0

last 7 days

4

all time

93

Last Updated

Aug 06, 2026

License

MIT

Build Tools

mix

Publisher

kokjinsam kokjinsam

Links