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

Narrowing of globals in TD #1636

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
Open

Narrowing of globals in TD #1636

wants to merge 10 commits into from

Commits on Dec 2, 2024

  1. feature: divide and narrow

    @Red-Panda64
    Red-Panda64 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    99e6995 View commit details
    Browse the repository at this point in the history

  2. rename narrow-sides to narrow-globs for consistency with paper

    @Red-Panda64
    Red-Panda64 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    0153efa View commit details
    Browse the repository at this point in the history

  3. remove outdated comment

    @Red-Panda64
    Red-Panda64 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    56302fc View commit details
    Browse the repository at this point in the history

  4. account for fixed narrowing with bot in the upstream

    @Red-Panda64
    Red-Panda64 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    adc1070 View commit details
    Browse the repository at this point in the history

  5. remove superfluous feature (narrow-globs.stable) and adjust tests

    @Red-Panda64
    Red-Panda64 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    17bb74f View commit details
    Browse the repository at this point in the history

  6. rename test directory

    @Red-Panda64
    Red-Panda64 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    d85ad23 View commit details
    Browse the repository at this point in the history

  7. set meaningful default for narrow gas

    @Red-Panda64
    Red-Panda64 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    30df0e8 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2024

  1. move some function definitions out of let rec

    @Red-Panda64
    Red-Panda64 committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    59f4a2f View commit details
    Browse the repository at this point in the history

  2. remove unnecessary orphan side effect handling 

    it is not needed, as long as narrow-globs does work with incremental solving.
    @Red-Panda64
    Red-Panda64 committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    58c107f View commit details
    Browse the repository at this point in the history

  3. mini refactor

    @Red-Panda64
    Red-Panda64 committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    5037570 View commit details
    Browse the repository at this point in the history