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

rebased fix of Issue316 #653

Merged
merged 16 commits into from
Nov 11, 2022
Merged

rebased fix of Issue316 #653

merged 16 commits into from
Nov 11, 2022

Commits on Nov 3, 2022

  1. possible solution to domluna#316

    @domluna @exaexa
    domluna authored and exaexa committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    0127dae View commit details
    Browse the repository at this point in the history

  2. fix always_for_in options in the case of filter/flatten

    @domluna @exaexa
    domluna authored and exaexa committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    4ea3299 View commit details
    Browse the repository at this point in the history

  3. Solve domluna#316 

    Adds an option `for_in_replacement` which allows "in" to be replaced with
another operator such as "∈" `\in` or "=" when `always_for_in` is
enabled.
    @domluna @exaexa
    domluna authored and exaexa committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    7a1a2a0 View commit details
    Browse the repository at this point in the history

  4. fmt

    @domluna @exaexa
    domluna authored and exaexa committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    34187ed View commit details
    Browse the repository at this point in the history

  5. typo

    @domluna @exaexa
    domluna authored and exaexa committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    1906660 View commit details
    Browse the repository at this point in the history

  6. make valid_for_in_op simpler

    @iblislin @exaexa
    iblislin authored and exaexa committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    e85a23d View commit details
    Browse the repository at this point in the history

  7. post-rebase fixups

    @exaexa
    exaexa committed Nov 3, 2022
    Configuration menu
    Copy the full SHA
    75dc1e5 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2022

  1. fix a forgotten end

    @exaexa
    exaexa committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    dd1450c View commit details
    Browse the repository at this point in the history

  2. add validation for for_in_replacement

    @exaexa
    exaexa committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    7da3546 View commit details
    Browse the repository at this point in the history

  3. simplify if/else structure in eq_to_in_normalization!

    @exaexa
    exaexa committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    99d1371 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2022

  1. get tests to pass - only transform binary op if it's a valid 'in' op

    @domluna
    domluna committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    210e465 View commit details
    Browse the repository at this point in the history

  2. format

    @domluna
    domluna committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    27827ce View commit details
    Browse the repository at this point in the history

  3. add warning log about for_in_replacement, and return the input text

    @domluna
    domluna committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    796063e View commit details
    Browse the repository at this point in the history

  4. spelling

    @domluna
    domluna committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    bbaa8c3 View commit details
    Browse the repository at this point in the history

  5. tests

    @domluna
    domluna committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    43e8abc View commit details
    Browse the repository at this point in the history

  6. Docs

    @domluna
    domluna committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    10efb06 View commit details
    Browse the repository at this point in the history