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

Hash table from picos #154

Open
wants to merge 16 commits into
base: main
Choose a base branch
from
Open

Hash table from picos #154

wants to merge 16 commits into from

Commits on Oct 9, 2024

  1. Hashtable

    @lyrm
    lyrm committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    0c1f134 View commit details
    Browse the repository at this point in the history

  2. Doc : picos -> saturn.

    @lyrm
    lyrm committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    8ca0e63 View commit details
    Browse the repository at this point in the history

  3. Stm tests launch for both htbl version.

    @lyrm
    lyrm committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    a0ee60d View commit details
    Browse the repository at this point in the history

  4. Add dscheck tests.

    @lyrm
    lyrm committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    ed62e3a View commit details
    Browse the repository at this point in the history

  5. format

    @lyrm
    lyrm committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    0b1ec15 View commit details
    Browse the repository at this point in the history

  6. Dscheck tests that trigger resize.

    @lyrm
    lyrm committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    7b3dc6f View commit details
    Browse the repository at this point in the history

  7. Random.bits64 requires ocaml >= 4.14

    @lyrm
    lyrm committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    3d8d0e2 View commit details
    Browse the repository at this point in the history

  8. Add benchmarks.

    @lyrm
    lyrm committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    798d875 View commit details
    Browse the repository at this point in the history

  9. Compute htbl length with the Size module.

    @lyrm
    lyrm committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    5f0788d View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2024

  1. Apply reviews.

    @lyrm
    lyrm committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    c7b0ad8 View commit details
    Browse the repository at this point in the history

  2. Add Nil at the root level of the bucket to remove the useless allocat… 

    …ion of Nil_with_size {size_modifier = Size.used_once} values.
    @lyrm
    lyrm committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    4547c06 View commit details
    Browse the repository at this point in the history

  3. Factorize some code in the function adjust_size

    @lyrm
    lyrm committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    7ddcfd8 View commit details
    Browse the repository at this point in the history

  4. Update following Picos (PR317)[ocaml-multicore/picos#317]

    @lyrm
    lyrm committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    bc35f12 View commit details
    Browse the repository at this point in the history

  5. mdx tests for documentation.

    @lyrm
    lyrm committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    ac9a14d View commit details
    Browse the repository at this point in the history

  6. Add find_opt.

    @lyrm
    lyrm committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    0dd6314 View commit details
    Browse the repository at this point in the history

  7. More functions tested with stm.

    @lyrm
    lyrm committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    522188e View commit details
    Browse the repository at this point in the history