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 month ago

    125
    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 1 2 3 4

this version

115

yesterday

0

last 7 days

6

all time

115

Last Updated

Aug 06, 2026

License

MIT

Build Tools

mix

Publisher

kokjinsam kokjinsam

Links