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

Updates to design docs to reflect accepted proposals #3254

Merged
merged 102 commits into from
Sep 23, 2023
Merged

Updates to design docs to reflect accepted proposals #3254

merged 102 commits into from
Sep 23, 2023

Commits on Jul 7, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    a27a55f View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jul 10, 2023
    Configuration menu
    Copy the full SHA
    79534cd View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    36dccde View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    afc6b8c View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    51ebdb5 View commit details
    Browse the repository at this point in the history

  2. finish a pass on terminology

    @josh11b
    josh11b committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    0377c36 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2023

  1. internal/external -> extend

    @josh11b
    josh11b committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    d75f2e6 View commit details
    Browse the repository at this point in the history

  2. Fix references to external section

    @josh11b
    josh11b committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    52017c9 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. Move away from internal/external

    @josh11b
    josh11b committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    2ffeb6c View commit details
    Browse the repository at this point in the history

  2. Fix internal/external in details

    @josh11b
    josh11b committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    4b408ec View commit details
    Browse the repository at this point in the history

  3. Missed one since it was capitalized

    @josh11b
    josh11b committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    f8de9bb View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    5970a64 View commit details
    Browse the repository at this point in the history

  5. Update generics goals

    @josh11b
    josh11b committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    99243e9 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jul 15, 2023
    Configuration menu
    Copy the full SHA
    573840a View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jul 16, 2023
    Configuration menu
    Copy the full SHA
    5aa8316 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Jul 16, 2023
    Configuration menu
    Copy the full SHA
    d3c911a View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. Terminology update

    @josh11b
    josh11b committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    38c6b19 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    fb26030 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    c453b2c View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    07e132f View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    cb10315 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    cd54e3b View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    9e11df2 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    24f5f4c View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. iterate on overview

    @josh11b
    josh11b committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    baaf1a6 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    721dd25 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    895a546 View commit details
    Browse the repository at this point in the history

  4. Finished a pass through generics overview

    @josh11b
    josh11b committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    3f445fa View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    81e67b0 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2023

  1. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    330f21d View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2023

  1. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    c2e00f2 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. Incomplete work on member_access

    @josh11b
    josh11b committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    9538ba1 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2023

  1. Iterating on member_access.md

    @josh11b
    josh11b committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    cedabbb View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    9b126b1 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    a392b27 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    aa2d84e View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Aug 25, 2023
    Configuration menu
    Copy the full SHA
    c8f2d67 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    4618f9a View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    2a054f4 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    bb870f1 View commit details
    Browse the repository at this point in the history

  4. Split out witness tables as an appendix

    @josh11b
    josh11b committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    45380aa View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. Finish up witness table appendix

    @josh11b
    josh11b committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    40da45e View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    35fc943 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. Iterate on README

    @josh11b
    josh11b committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    c9a0500 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    b1b7331 View commit details
    Browse the repository at this point in the history

  3. Update member_access

    @josh11b
    josh11b committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    98c6a5c View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    026607a View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2023

  1. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    d324719 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 2, 2023
    Configuration menu
    Copy the full SHA
    7207b0b View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    d211bed View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    ed9ab2b View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    7d4ba5f View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    8b3b852 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    1f8ca85 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    ec5322c View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    f04f468 View commit details
    Browse the repository at this point in the history

  5. Checkpoint progress.

    @josh11b
    josh11b committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    28750c2 View commit details
    Browse the repository at this point in the history

  6. Add appendix links to README

    @josh11b
    josh11b committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    79f804d View commit details
    Browse the repository at this point in the history

  7. Checkpoint progress.

    @josh11b
    josh11b committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    015feed View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    6b12e61 View commit details
    Browse the repository at this point in the history

  9. Checkpoint progress.

    @josh11b
    josh11b committed Sep 6, 2023
    Configuration menu
    Copy the full SHA
    d581340 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    9a7dcda View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    818952a View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    343d683 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    1150a14 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    927063c View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    6a0c51c View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    ef5a2ea View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 9, 2023
    Configuration menu
    Copy the full SHA
    1c74755 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 10, 2023
    Configuration menu
    Copy the full SHA
    ef6ea39 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. Big restructuring

    @josh11b
    josh11b committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    60485dc View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    d261718 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    9b8a58c View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    ec807a4 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    a1b91e1 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    4a7b974 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    9f8bea2 View commit details
    Browse the repository at this point in the history

  2. Finished where constraints section

    @josh11b
    josh11b committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    50523e7 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    6fa60d7 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    83be850 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Sep 16, 2023
    Configuration menu
    Copy the full SHA
    4b6f972 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2023

  1. Compile-time let

    @josh11b
    josh11b committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    168dd05 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    6f0d8e4 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    40c1008 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    9ec4875 View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    dae31ac View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    39cb449 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    dfd07f7 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    c69f4cf View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    59be2cf View commit details
    Browse the repository at this point in the history

  5. Checkpoint progress.

    @josh11b
    josh11b committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    6bade88 View commit details
    Browse the repository at this point in the history

  6. Checkpoint progress.

    @josh11b
    josh11b committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    88e436b View commit details
    Browse the repository at this point in the history

  7. Checkpoint progress.

    @josh11b
    josh11b committed Sep 21, 2023
    Configuration menu
    Copy the full SHA
    33da103 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2023

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    f6d1e19 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    301216d View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    260b813 View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    20bc45f View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'upstream/trunk' into d

    @josh11b
    josh11b committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    f97f2ae View commit details
    Browse the repository at this point in the history

  6. Checkpoint progress.

    @josh11b
    josh11b committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    c111698 View commit details
    Browse the repository at this point in the history

  7. Checkpoint progress.

    @josh11b
    josh11b committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    115703a View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2023

  1. Apply suggestions from code review 

    Co-authored-by: Chandler Carruth <chandlerc@gmail.com>
    @josh11b @chandlerc
    josh11b and chandlerc authored Sep 23, 2023
    Configuration menu
    Copy the full SHA
    58b9611 View commit details
    Browse the repository at this point in the history

  2. Fix formatting

    @josh11b
    josh11b committed Sep 23, 2023
    Configuration menu
    Copy the full SHA
    538ef71 View commit details
    Browse the repository at this point in the history