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

add <: to add-dots #35085

Merged
merged 15 commits into from
May 6, 2020
Merged

add <: to add-dots #35085

merged 15 commits into from
May 6, 2020

Commits on Mar 12, 2020

  1. add <: to add-dots

    @ssikdar1
    ssikdar1 committed Mar 12, 2020
    Configuration menu
    Copy the full SHA
    813de45 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2020

  1. add <: case to __dot__

    @ssikdar1
    ssikdar1 committed Mar 13, 2020
    Configuration menu
    Copy the full SHA
    c364df6 View commit details
    Browse the repository at this point in the history

  2. add test for .<:

    @ssikdar1
    ssikdar1 committed Mar 13, 2020
    Configuration menu
    Copy the full SHA
    2e2c6bf View commit details
    Browse the repository at this point in the history

  3. fix test

    @ssikdar1
    ssikdar1 committed Mar 13, 2020
    Configuration menu
    Copy the full SHA
    a340e97 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2020

  1. add .>: as well

    @ssikdar1
    ssikdar1 committed Mar 15, 2020
    Configuration menu
    Copy the full SHA
    2fca8fa View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2020

  1. Merge remote-tracking branch 'upstream/master' into dots

    @ssikdar1
    ssikdar1 committed Mar 19, 2020
    Configuration menu
    Copy the full SHA
    5d99893 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2020

  1. add @. <: test

    @ssikdar1
    ssikdar1 committed Mar 22, 2020
    Configuration menu
    Copy the full SHA
    a3e3ec4 View commit details
    Browse the repository at this point in the history

  2. update __dot__ expr to call expr

    @ssikdar1
    ssikdar1 committed Mar 22, 2020
    Configuration menu
    Copy the full SHA
    acbd660 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/master' into dots

    @ssikdar1
    ssikdar1 committed Mar 22, 2020
    Configuration menu
    Copy the full SHA
    bc59aa9 View commit details
    Browse the repository at this point in the history

  4. add NEWS item for PR

    @ssikdar1
    ssikdar1 committed Mar 22, 2020
    Configuration menu
    Copy the full SHA
    1d96e71 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2020

  1. Merge branch 'master' into dots

    @ssikdar1
    ssikdar1 authored Mar 27, 2020
    Configuration menu
    Copy the full SHA
    6cb0a42 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2020

  1. add in code review comments

    @ssikdar1
    ssikdar1 committed Mar 28, 2020
    Configuration menu
    Copy the full SHA
    243f65e View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2020

  1. Merge branch 'master' into dots

    @ssikdar1
    ssikdar1 authored Apr 23, 2020
    Configuration menu
    Copy the full SHA
    959925c View commit details
    Browse the repository at this point in the history

Commits on May 6, 2020

  1. Merge branch 'master' into dots

    @ssikdar1
    ssikdar1 authored May 6, 2020
    Configuration menu
    Copy the full SHA
    7c0a629 View commit details
    Browse the repository at this point in the history

  2. fix format NEWS

    @ssikdar1
    ssikdar1 committed May 6, 2020
    Configuration menu
    Copy the full SHA
    eb6df88 View commit details
    Browse the repository at this point in the history