Skip to content

Milestones

List view

  • GPMC: Public Release

    The model checker is adopted in multiple projects, most critical bugs are fixed

    Overdue by 4 month(s)
    •
    Due by July 24, 2025
    •7/19 issues closed
    36% complete12 open7 closed

  • GPMC: Private Release

    * The API design is finalized * The trace output is polished * The documentation is updated * Adopt the general-purpose model checker for at least one more internal product (e.g., Ktor)

    Overdue by 5 month(s)
    •
    Due by June 16, 2025
    •19/20 issues closed
    95% complete1 open19 closed