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

new ephemeron API, implemented on top of old ephemerons #10737

Merged
merged 7 commits into from
Nov 5, 2021
Merged

new ephemeron API, implemented on top of old ephemerons #10737

merged 7 commits into from
Nov 5, 2021

Commits on Oct 29, 2021

  1. new ephemeron API, implemented on top of old ephemerons

    @damiendoligez
    damiendoligez committed Oct 29, 2021
    Configuration menu
    Copy the full SHA
    348004d View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2021

  1. fix tests that use the old ephemeron API

    @damiendoligez
    damiendoligez committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    d535cc9 View commit details
    Browse the repository at this point in the history

  2. add Changes entry

    @damiendoligez
    damiendoligez committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    1c2952c View commit details
    Browse the repository at this point in the history

  3. update .depend

    @damiendoligez
    damiendoligez committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    cd592f8 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2021

  1. ephemerons: port tests to the new API

    @damiendoligez
    damiendoligez committed Nov 3, 2021
    Configuration menu
    Copy the full SHA
    d099279 View commit details
    Browse the repository at this point in the history

  2. ephemerons : fix test for flambda

    @damiendoligez
    damiendoligez committed Nov 3, 2021
    Configuration menu
    Copy the full SHA
    c1f281d View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2021

  1. fix "set_key/set_data" virtual bug; update Changes

    @damiendoligez
    damiendoligez committed Nov 4, 2021
    Configuration menu
    Copy the full SHA
    5de50bd View commit details
    Browse the repository at this point in the history