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.

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

Add generation of mongo updates as diff #336

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

Add generation of mongo updates as diff #336

wants to merge 15 commits into from

Commits on Mar 8, 2023

  1. Configuration menu
    Copy the full SHA
    2d5cdae View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f66add3 View commit details
    Browse the repository at this point in the history
  3. Add new project to workflows

    satabin committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    c5ebb0f View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2023

  1. Add array diff tests

    satabin committed Mar 25, 2023
    Configuration menu
    Copy the full SHA
    6c5f1dd View commit details
    Browse the repository at this point in the history
  2. Make it compile with 2.12

    satabin committed Mar 25, 2023
    Configuration menu
    Copy the full SHA
    5c7a2b9 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c533740 View commit details
    Browse the repository at this point in the history
  4. Make conversion lazy

    satabin committed Mar 25, 2023
    Configuration menu
    Copy the full SHA
    2030205 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    23618bd View commit details
    Browse the repository at this point in the history
  6. Add object diff tests

    satabin committed Mar 25, 2023
    Configuration menu
    Copy the full SHA
    e8a1447 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2023

  1. Configuration menu
    Copy the full SHA
    46121dc View commit details
    Browse the repository at this point in the history
  2. Simplify array diff

    The prepend case is just aspecial case of insertion at an index.
    satabin committed Mar 26, 2023
    Configuration menu
    Copy the full SHA
    b23882f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3dc7157 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    05b69b9 View commit details
    Browse the repository at this point in the history
  5. Ignore slow property tests

    satabin committed Mar 26, 2023
    Configuration menu
    Copy the full SHA
    53c7898 View commit details
    Browse the repository at this point in the history
  6. Make mongo diff LCS independent

    Given the specificities of the mongo diff for arrays, there is no need
    to compute an expensive LCS for computing whether the target array is
    the result of adding a block of consecutive values somewhere in the
    source array.
    satabin committed Mar 26, 2023
    Configuration menu
    Copy the full SHA
    9eb5e25 View commit details
    Browse the repository at this point in the history