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

Feature/generic string #1050

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

Feature/generic string #1050

wants to merge 15 commits into from

Commits on Jun 12, 2020

  1. Support for generalized strings

    @ThibautVerron
    ThibautVerron committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    ecdca2d View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master'

    @ThibautVerron
    ThibautVerron committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    3cca555 View commit details
    Browse the repository at this point in the history

  3. generic-string also for going back

    @ThibautVerron
    ThibautVerron committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    c157592 View commit details
    Browse the repository at this point in the history

  4. sp-get-string does not need to do anything special at the boundary of… 

    … comment
    @ThibautVerron
    ThibautVerron committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    7eadd9d View commit details
    Browse the repository at this point in the history

  5. New tests for generic strings

    @ThibautVerron
    ThibautVerron committed Jun 12, 2020
    Configuration menu
    Copy the full SHA
    6b9c260 View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2020

  1. .

    @ThibautVerron
    ThibautVerron committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    68b854e View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master'

    @ThibautVerron
    ThibautVerron committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    788abbb View commit details
    Browse the repository at this point in the history

  3. Merge

    @ThibautVerron
    ThibautVerron committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    0c7ecad View commit details
    Browse the repository at this point in the history

  4. Merge one file

    @ThibautVerron
    ThibautVerron committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    1c7f762 View commit details
    Browse the repository at this point in the history

  5. Messed up merge

    @ThibautVerron
    ThibautVerron committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    d78f746 View commit details
    Browse the repository at this point in the history

  6. Better merge

    @ThibautVerron
    ThibautVerron committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    56ba712 View commit details
    Browse the repository at this point in the history

  7. Better merge

    @ThibautVerron
    ThibautVerron committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    1444754 View commit details
    Browse the repository at this point in the history

  8. Better merge

    @ThibautVerron
    ThibautVerron committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    04d37a6 View commit details
    Browse the repository at this point in the history

  9. "Fix" the new test

    @ThibautVerron
    ThibautVerron committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    ce5348f View commit details
    Browse the repository at this point in the history

  10. "Fix" the new test

    @ThibautVerron
    ThibautVerron committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    f7e0a8f View commit details
    Browse the repository at this point in the history