Skip to content
  • Closed Nov 23, 2021 Last updated over 3 years ago

    In this milestone we will aim to further improve the tool stability…

    In this milestone we will aim to further improve the tool stability, but also to improve performance, and extend to further environments, most probably Golang plugin and/or RPC plugin

    100% complete
  • Closed Sep 3, 2021 Last updated over 3 years ago

    This is a milestone about refactoring, so it's called a factory: make the tool reliable and predictable, like a factory.

    100% complete
  • Closed Aug 19, 2021 Last updated over 3 years ago

    Refactor current MBT for LightClient into MBT-core + a minimal plug…

    Refactor current MBT for LightClient into MBT-core + a minimal plugin for Rust

    Success criteria:

    • Tendermint-rs LightClient MBT works via external Modelator crate
    • Developers are happy, and ready to extend/use the framework on everyday basis

    100% complete