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 DistString trait #1133

Merged
merged 4 commits into from Jun 14, 2021
Merged

Add DistString trait #1133

merged 4 commits into from Jun 14, 2021

Commits on Jun 10, 2021

  1. Move Distribution trait and associates to sub-module

    @dhardy
    dhardy committed Jun 10, 2021
    Copy the full SHA
    1947c89 View commit details
    Browse the repository at this point in the history

  2. Add DistString

    @dhardy
    dhardy committed Jun 10, 2021
    Copy the full SHA
    b4c1d66 View commit details
    Browse the repository at this point in the history

  3. Add comment to append_string for Standard

    @dhardy
    dhardy committed Jun 10, 2021
    Copy the full SHA
    fa17d1c View commit details
    Browse the repository at this point in the history

  4. Correct usage of reserve

    @dhardy
    dhardy committed Jun 10, 2021
    Copy the full SHA
    81f1af8 View commit details
    Browse the repository at this point in the history