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

Lin Out_channel shrink cleanup #387

Merged
merged 11 commits into from
Sep 1, 2023
Merged

Lin Out_channel shrink cleanup #387

merged 11 commits into from
Sep 1, 2023

Commits on Aug 22, 2023

  1. Disable bytes char shrinking for Lin Out_channel test

    @jmid
    jmid committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    bf61729 View commit details
    Browse the repository at this point in the history

  2. Disable string char shrinking for Lin Out_channel test

    @jmid
    jmid committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    d5ff92a View commit details
    Browse the repository at this point in the history

  3. Remove lift to reduce allocations

    @jmid
    jmid committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    2433827 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. Adjust frequencies to reduce flush_all-triggered allocations

    @jmid
    jmid committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    ba20a6f View commit details
    Browse the repository at this point in the history

  2. Comment out Out_channel.flush_all to keep GC manageable

    @jmid
    jmid committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    6c8db20 View commit details
    Browse the repository at this point in the history

  3. Reduce allocations when restarting check_seq_cons search

    @jmid
    jmid committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    e1a1de3 View commit details
    Browse the repository at this point in the history

  4. Steps to bring Out_channel tests in src/io/lin_tests.ml up to speed w… 

    …ith Lin DSL ones
    @jmid
    jmid committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    460b97c View commit details
    Browse the repository at this point in the history

  5. Swap test order to match module declaration order

    @jmid
    jmid committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    f7223d6 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. Address review: cleaner call to interp_plain_ignore

    @jmid
    jmid committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    1b50d2f View commit details
    Browse the repository at this point in the history

  2. Add a CHANGES entry for the Lin allocation improvement

    @jmid
    jmid committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    bb94d34 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into outchannel-shrink-cleanup

    @jmid
    jmid authored Aug 31, 2023
    Configuration menu
    Copy the full SHA
    b9509bb View commit details
    Browse the repository at this point in the history