Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Allow definying classes of equivalence for system tools #875

Merged
merged 4 commits into from
Nov 5, 2024
Merged

Allow definying classes of equivalence for system tools #875

merged 4 commits into from
Nov 5, 2024

Commits on Oct 15, 2024

  1. Allow definying classes of equivalence for system tools

    @ktf
    ktf committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    34f10cb View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Merge branch 'master' into pr875

    @ktf
    ktf authored Oct 28, 2024
    Configuration menu
    Copy the full SHA
    e4cc2be View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Fix tests

    @singiamtel
    singiamtel committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    3c3ff6c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into pr875

    @ktf
    ktf authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    9dcd90c View commit details
    Browse the repository at this point in the history