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.

Sign up for GitHub

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

Jump to bottom

Majority #93

Merged
merged 5 commits into from
Sep 6, 2023
Merged

Majority #93

merged 5 commits into from
Sep 6, 2023

Commits on Sep 4, 2023

  1. Boyer-Moore majority vote algorithm 

    Signed-off-by: merz <[email protected]>
    @muenchnerkindl
    muenchnerkindl committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    da89045 View commit details
    Browse the repository at this point in the history

  2. add Majority algorithm to README and manifest 

    Signed-off-by: merz <[email protected]>
    @muenchnerkindl
    muenchnerkindl committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    ea6c8a9 View commit details
    Browse the repository at this point in the history

  3. added standard TLAPS module to Majority example 

    Signed-off-by: merz <[email protected]>
    @muenchnerkindl
    muenchnerkindl committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    571ecf3 View commit details
    Browse the repository at this point in the history

  4. fixed time format for model checking 

    Signed-off-by: merz <[email protected]>
    @muenchnerkindl
    muenchnerkindl committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    9ba8456 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2023

  1. removing TLAPS module from Majority 

    Signed-off-by: merz <[email protected]>
    @muenchnerkindl
    muenchnerkindl committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    08bc7a7 View commit details
    Browse the repository at this point in the history