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 (explain) field to (menhir) stanza #9512

Merged
merged 20 commits into from
Dec 17, 2023
Merged

Add (explain) field to (menhir) stanza #9512

merged 20 commits into from
Dec 17, 2023

Commits on Dec 15, 2023

  1. Add (explain) field to (menhir) stanza 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    4bd8fd2 View commit details
    Browse the repository at this point in the history

  2. Doc 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    028cabc View commit details
    Browse the repository at this point in the history

  3. Also detect --menhir flag 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    0b46891 View commit details
    Browse the repository at this point in the history

  4. Revert "Also detect --menhir flag" 

    This reverts commit 0b46891.

Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    72de97e View commit details
    Browse the repository at this point in the history

  5. Switch to (explain <bool>) 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    2626c7a View commit details
    Browse the repository at this point in the history

  6. Generate file by default 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    4a32150 View commit details
    Browse the repository at this point in the history

  7. Control the default with the version of the Menhir extension 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    922c580 View commit details
    Browse the repository at this point in the history

  8. Allow (explain <blang>) 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    045407f View commit details
    Browse the repository at this point in the history

  9. Doc 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    3c42b01 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into menhir_explain

    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    2f8afb1 View commit details
    Browse the repository at this point in the history

  11. Warn if passing --explain under the new mode 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    560a1a9 View commit details
    Browse the repository at this point in the history

  12. Changes 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    683c645 View commit details
    Browse the repository at this point in the history

  13. Cleanup 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    571412f View commit details
    Browse the repository at this point in the history

  14. Less verbose tests 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    67f006e View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2023

  1. Introduce (menhir) field in (env) stanza 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    4aafa94 View commit details
    Browse the repository at this point in the history

  2. Use List.equal 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    d8127be View commit details
    Browse the repository at this point in the history

  3. Bump Menhir extension version to 3.0 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    50ec8da View commit details
    Browse the repository at this point in the history

  4. Accept tests 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    ee94d7f View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into menhir_explain

    @nojb
    nojb committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    1468c5e View commit details
    Browse the repository at this point in the history

  6. Fix Doc 

    Signed-off-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
    @nojb
    nojb committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    0546401 View commit details
    Browse the repository at this point in the history