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

Benchmark knights #797

Merged
merged 10 commits into from
Jul 17, 2024
Merged

Benchmark knights #797

merged 10 commits into from
Jul 17, 2024

Commits on Jul 17, 2024

  1. commit new example for benchmarking

    @MicroProofs @KtorZ
    MicroProofs authored and KtorZ committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    8f825f6 View commit details
    Browse the repository at this point in the history

  2. continue porting over knights example

    @MicroProofs @KtorZ
    MicroProofs authored and KtorZ committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    c62821e View commit details
    Browse the repository at this point in the history

  3. more benchmark work

    @MicroProofs @KtorZ
    MicroProofs authored and KtorZ committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    1d16cbf View commit details
    Browse the repository at this point in the history

  4. Review knights benchmark and update dependencies.

    @KtorZ
    KtorZ committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    f2ff9a2 View commit details
    Browse the repository at this point in the history

  5. Implement quicksort on chess board. 

      Note that it might be easier / cheaper to serialize and compare bytes?
    @KtorZ
    KtorZ committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    65afb11 View commit details
    Browse the repository at this point in the history

  6. Fix mk_starts and second_last in knights benchmarks. 

      mk_starts was not yielding enough values. It's originally a translation of a double list comprehension in Haskell, which cannot simply be translated to a map2. The latter combine elements two by two, but the former works through all possible permutations.
    @KtorZ
    KtorZ committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    5b0a171 View commit details
    Browse the repository at this point in the history

  7. Collect results from previous versions in a README.

    @KtorZ
    KtorZ committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    f14dab9 View commit details
    Browse the repository at this point in the history

  8. Delete examples/benchmarks/.github/workflows/tests.yml

    @KtorZ
    KtorZ committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    28d2ee7 View commit details
    Browse the repository at this point in the history

  9. Add benchmarks to continuous integration workflow.

    @KtorZ
    KtorZ committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    20e606e View commit details
    Browse the repository at this point in the history

  10. Add clausify benchmark.

    @KtorZ
    KtorZ committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    52974ae View commit details
    Browse the repository at this point in the history