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

Use a Map from Snap to Snap to represent a magic wand snapshot. #836

Merged
merged 22 commits into from
Jun 12, 2024
Merged

Use a Map from Snap to Snap to represent a magic wand snapshot. #836

merged 22 commits into from
Jun 12, 2024

Commits on Apr 11, 2024

  1. Use a Map from Snap to Snap to represent a magic wand snapshot.

    @manud99
    manud99 committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    222499c View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Fix failing test cases.

    @manud99
    manud99 committed May 2, 2024
    Configuration menu
    Copy the full SHA
    cdb526f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into magic-wand-maps

    @manud99
    manud99 authored May 2, 2024
    Configuration menu
    Copy the full SHA
    0fe3f0a View commit details
    Browse the repository at this point in the history

  3. Fix broken links in comments.

    @manud99
    manud99 committed May 2, 2024
    Configuration menu
    Copy the full SHA
    90b792e View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'refs/remotes/origin/magic-wand-maps' in… 

    …to magic-wand-maps
    @manud99
    manud99 committed May 2, 2024
    Configuration menu
    Copy the full SHA
    3b4b76d View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. First optimization: Create sort MagicWandSnapFunction (MWSF) with its… 

    … own function definitions to replace wand maps.
    @manud99
    manud99 committed May 6, 2024
    Configuration menu
    Copy the full SHA
    77324f4 View commit details
    Browse the repository at this point in the history

  2. Second optimization: When there is no applying expression use the ori… 

    …ginal approach using MagicWandSnapSingleton.
    @manud99
    manud99 committed May 6, 2024
    Configuration menu
    Copy the full SHA
    fd87482 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Revert "Second optimization: When there is no applying expression use… 

    … the original approach using MagicWandSnapSingleton."

This reverts commit fd87482.
    @manud99
    manud99 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    45f215c View commit details
    Browse the repository at this point in the history

  2. Apply suggested changes from code review.

    @manud99
    manud99 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    d67aa27 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into magic-wand-maps

    @manud99
    manud99 authored May 8, 2024
    Configuration menu
    Copy the full SHA
    98c7714 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. Merge branch 'master' into magic-wand-maps

    @manud99
    manud99 authored May 13, 2024
    Configuration menu
    Copy the full SHA
    7cf0edd View commit details
    Browse the repository at this point in the history

  2. Fix test cases with quasihavoc statements.

    @manud99
    manud99 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    2a887c4 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. Update submodule to use branch with both testcase changes

    @JonasAlaif
    JonasAlaif committed May 16, 2024
    Configuration menu
    Copy the full SHA
    2211b6c View commit details
    Browse the repository at this point in the history

  2. Update silver

    @JonasAlaif
    JonasAlaif committed May 16, 2024
    Configuration menu
    Copy the full SHA
    531e108 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Remove abstractLhs and rhsSnapshot from MagicWandSnapshot.

    @manud99
    manud99 committed May 17, 2024
    Configuration menu
    Copy the full SHA
    6195039 View commit details
    Browse the repository at this point in the history

  2. Reduce diff

    @JonasAlaif
    JonasAlaif committed May 17, 2024
    Configuration menu
    Copy the full SHA
    f306ed7 View commit details
    Browse the repository at this point in the history

  3. Simplify havoc

    @JonasAlaif
    JonasAlaif committed May 17, 2024
    Configuration menu
    Copy the full SHA
    e669d26 View commit details
    Browse the repository at this point in the history

  4. Simplify production of a MWSF.

    @manud99
    manud99 committed May 17, 2024
    Configuration menu
    Copy the full SHA
    336eda3 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2024

  1. Rename variable in Producer.

    @manud99
    manud99 committed May 19, 2024
    Configuration menu
    Copy the full SHA
    82239ac View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2024

  1. Merge branch 'master' into magic-wand-maps

    @JonasAlaif
    JonasAlaif authored Jun 11, 2024
    Configuration menu
    Copy the full SHA
    bd94bb7 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Merge branch 'refs/heads/master' into magic-wand-maps 

    # Conflicts:
#	silver
    @manud99
    manud99 committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    0d9f59e View commit details
    Browse the repository at this point in the history

  2. Update silver branch magic-wand-fixes.

    @manud99
    manud99 committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    f136ee9 View commit details
    Browse the repository at this point in the history