Skip to content

@mcminickpt mcminickpt

Change the repository type filter

All

    Repositories list

    3 repositories

    • mcmini

      Public
      A Small, Extensible DPOR-based Model Checker for C Programs
      C++
      •
      Other
      •6•7•16•12•Updated Aug 15, 2026Aug 15, 2026

    • mcmini-doc

      Public
      McMini documentation
      0•1•0•0•Updated Jul 29, 2026Jul 29, 2026

    • deep-debug

      Public
      A fork of the McMini repository specifically for supporting deep debugging
      C++
      •3•2•0•14•Updated Jul 7, 2026Jul 7, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.