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

Separate compilation #62

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

Separate compilation #62

wants to merge 30 commits into from

Commits on Feb 3, 2022

  1. Separate compilation doc.

    Gregory Malecha committed Feb 3, 2022
    Configuration menu
    Copy the full SHA
    291fdd1 View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2022

  1. Apply 1 suggestion(s) to 1 file(s)

    @Blaisorblade
    Blaisorblade authored and Gregory Malecha committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    5d19d22 View commit details
    Browse the repository at this point in the history

  2. Update text/separate-compilation.md

    Gregory Malecha committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    8b5e4e9 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2022

  1. Elaborating on the different possibilities.

    Gregory Malecha committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    cade9ed View commit details
    Browse the repository at this point in the history

  2. Removing more duplication.

    Gregory Malecha committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    b006139 View commit details
    Browse the repository at this point in the history

  3. Removing some more redundant text.

    Gregory Malecha committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    648cec1 View commit details
    Browse the repository at this point in the history

  4. More consolidation.

    Gregory Malecha committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    0d29e79 View commit details
    Browse the repository at this point in the history

  5. A note about full functorization (though it might be off-topic).

    Gregory Malecha committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    ec81a87 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2022

  1. Summary: significant revision/rewrite 

    This rewrite preserves most of the old content, but I hope it flows better and
is more obviously compelling.
    @Blaisorblade
    Blaisorblade committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    2b15916 View commit details
    Browse the repository at this point in the history

  2. can not -> cannot

    @Blaisorblade
    Blaisorblade committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    9659510 View commit details
    Browse the repository at this point in the history

  3. Other typos

    @Blaisorblade
    Blaisorblade committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    15fb9b3 View commit details
    Browse the repository at this point in the history

  4. Drop my old background (now covered in intro)

    @Blaisorblade
    Blaisorblade committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    aacf72a View commit details
    Browse the repository at this point in the history

  5. Intro tweaks

    @Blaisorblade
    Blaisorblade committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    aeb21f7 View commit details
    Browse the repository at this point in the history

  6. Reinforce (indirectly) that interfaces affect compilation

    @Blaisorblade
    Blaisorblade committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    6bfae81 View commit details
    Browse the repository at this point in the history

  7. Remove caveat: addressed earlier indirectly 

    Yes, a reviewer asked specifically, but this caveat is awkward and the point
should be clearer from the rest of the document.
    @Blaisorblade
    Blaisorblade committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    0e2c2a1 View commit details
    Browse the repository at this point in the history

  8. Revise section titles

    @Blaisorblade
    Blaisorblade committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    50bcff8 View commit details
    Browse the repository at this point in the history

  9. Section 2: restructure/reflow

    @Blaisorblade
    Blaisorblade committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    8882a74 View commit details
    Browse the repository at this point in the history

  10. Both .vi and .v: significant revisions, demonstrate impl.-only re… 

    …quires, ...
    @Blaisorblade
    Blaisorblade committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    28cacc9 View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2022

  1. s/value/answer/ to match the later example 

    Also change the later example.
    @Blaisorblade
    Blaisorblade committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    3231fbf View commit details
    Browse the repository at this point in the history

  2. Typo

    @Blaisorblade
    Blaisorblade committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    fc02480 View commit details
    Browse the repository at this point in the history

  3. Swap .vi only and .v only for better flow

    @Blaisorblade
    Blaisorblade committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    e1eb2c6 View commit details
    Browse the repository at this point in the history

  4. TODO: remove most of "only v file"

    @Blaisorblade
    Blaisorblade committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    43e5f55 View commit details
    Browse the repository at this point in the history

  5. Typos

    @Blaisorblade
    Blaisorblade committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    e533ad2 View commit details
    Browse the repository at this point in the history

  6. Removals agreed with Gregory

    @Blaisorblade
    Gregory Malecha authored and Blaisorblade committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    6f9dc01 View commit details
    Browse the repository at this point in the history

  7. markdown fix.

    Gregory Malecha committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    086dfca View commit details
    Browse the repository at this point in the history

  8. Revisions and formatting.

    Gregory Malecha committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    11e2c71 View commit details
    Browse the repository at this point in the history

  9. Additional clarification.

    Gregory Malecha committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    bd2e5eb View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2022

  1. Minor revision

    @Blaisorblade
    Blaisorblade committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    71391ba View commit details
    Browse the repository at this point in the history

  2. Alternative implementation strategy

    @Blaisorblade
    Blaisorblade committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    37a04a4 View commit details
    Browse the repository at this point in the history

  3. Implementation plan: mention build support

    @Blaisorblade
    Blaisorblade committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    bd11d59 View commit details
    Browse the repository at this point in the history