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

Iterables #708

Merged
merged 11 commits into from
Feb 5, 2020
Merged

Iterables #708

merged 11 commits into from
Feb 5, 2020

Commits on Feb 4, 2020

  1. Use full owner chain in ExSelected extractor 

    This is needed because the compiler sometimes does not give us fully qualified names
    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    e12ae2b View commit details
    Browse the repository at this point in the history

  2. Change error message for Scala APIs not directly supported 

    Also adds support for Scala APIs in extern function's type for Dotty.
    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    1a78d61 View commit details
    Browse the repository at this point in the history

  3. Replace StaticChecks.any2ensuring with an implicit value class

    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    9c388f5 View commit details
    Browse the repository at this point in the history

  4. Add methods List#toScala and List.fromScala

    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    18a6c97 View commit details
    Browse the repository at this point in the history

  5. Add methods keys, values, toList and toScala to Map

    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    cb5a364 View commit details
    Browse the repository at this point in the history

  6. Add methods map, toList and toScala to Set

    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    62a4cb8 View commit details
    Browse the repository at this point in the history

  7. Add benchmark for new methods on Map and Set

    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    8abd2cd View commit details
    Browse the repository at this point in the history

  8. Add Set.withFilter

    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    7a84eb9 View commit details
    Browse the repository at this point in the history

  9. Add post to List.withFilter

    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    82892cf View commit details
    Browse the repository at this point in the history

  10. Fix extraction of extern types with Dotty frontend

    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    3cbf4cd View commit details
    Browse the repository at this point in the history

  11. Ignore Iterables benchmark with CVC4

    @romac
    romac committed Feb 4, 2020
    Configuration menu
    Copy the full SHA
    a49e121 View commit details
    Browse the repository at this point in the history