Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

compute maximum bisimulation using Paige-Tarjan's Algorithm #1089

Merged
merged 32 commits into from
Jun 22, 2024

Commits on Feb 12, 2024

  1. Configuration menu
    Copy the full SHA
    d05589a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1ab1908 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7bd3845 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    b1345e8 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    896e9f5 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    ffd0d93 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2024

  1. fixed various bugs

    sander-hergarten committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    91bec28 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    23c9d81 View commit details
    Browse the repository at this point in the history
  3. added tests

    sander-hergarten committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    933523f View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    52068cf View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    75dbc97 View commit details
    Browse the repository at this point in the history
  6. typing stubs

    sander-hergarten committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    5b52281 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    ee04e58 View commit details
    Browse the repository at this point in the history
  8. added release notes

    sander-hergarten committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    e0ce060 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. Configuration menu
    Copy the full SHA
    f6188bd View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2024

  1. Configuration menu
    Copy the full SHA
    bf513f6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    40631a7 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    cc9a81c View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. removed unused enum

    sander-hergarten committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    f0947cd View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2024

  1. Configuration menu
    Copy the full SHA
    8f02d8e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e3e6990 View commit details
    Browse the repository at this point in the history
  3. added comment

    sander-hergarten committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    439fa91 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    d4ce046 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2024

  1. Configuration menu
    Copy the full SHA
    7231cd9 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    40761f4 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7dbe776 View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2024

  1. Configuration menu
    Copy the full SHA
    cd242d1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0af1736 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. Configuration menu
    Copy the full SHA
    90396db View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. fixed broken stubs

    sander-hergarten committed May 24, 2024
    Configuration menu
    Copy the full SHA
    ad49260 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. Configuration menu
    Copy the full SHA
    891757d View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. Configuration menu
    Copy the full SHA
    d40c7cf View commit details
    Browse the repository at this point in the history