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

RFC: Checking conditional compilation at compile time #3013

Merged
merged 12 commits into from
Feb 23, 2021
Merged

RFC: Checking conditional compilation at compile time #3013

merged 12 commits into from
Feb 23, 2021

Commits on Nov 3, 2020

  1. check-cfg RFC draft

    Arlie Davis committed Nov 3, 2020
    Configuration menu
    Copy the full SHA
    2f9961c View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2020

  1. PR feedback

    Arlie Davis committed Nov 4, 2020
    Configuration menu
    Copy the full SHA
    3e5f156 View commit details
    Browse the repository at this point in the history

  2. PR feedback

    Arlie Davis committed Nov 4, 2020
    Configuration menu
    Copy the full SHA
    c14e012 View commit details
    Browse the repository at this point in the history

  3. PR feedback

    Arlie Davis committed Nov 4, 2020
    Configuration menu
    Copy the full SHA
    ee717ed View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2020

  1. Update text/0000-conditional-compilation-checking.md 

    Co-authored-by: Joshua Nelson <[email protected]>
    @sivadeilra
    sivadeilra and Joshua Nelson authored Nov 5, 2020
    Configuration menu
    Copy the full SHA
    affc381 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2020

  1. PR feedback 

    Added new --check-cfg flag. Rather than changing the behavior of
the existing --cfg flag, we enable validation by using --check-cfg.

Clarified some special cases, like empty valid name sets.
    Arlie Davis committed Nov 6, 2020
    Configuration menu
    Copy the full SHA
    e6b5dcc View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2020

  1. PR feedback

    Arlie Davis committed Nov 13, 2020
    Configuration menu
    Copy the full SHA
    1788dd4 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2021

  1. Address PR feedback

    Arlie Davis committed Jan 15, 2021
    Configuration menu
    Copy the full SHA
    dbc02dc View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2021

  1. Address PR feedback on drawbacks

    Arlie Davis committed Feb 1, 2021
    Configuration menu
    Copy the full SHA
    133cd51 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2021

  1. Address PR feedback

    Arlie Davis committed Feb 11, 2021
    Configuration menu
    Copy the full SHA
    174816e View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2021

  1. Update 3013 header.

    @ehuss
    ehuss committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    858d940 View commit details
    Browse the repository at this point in the history

  2. Merging RFC 3013

    @ehuss
    ehuss committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    d2d74f9 View commit details
    Browse the repository at this point in the history