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

Reorder cstrs and unique ffi #30

Merged
merged 7 commits into from
Jul 23, 2024
Merged

Reorder cstrs and unique ffi #30

merged 7 commits into from
Jul 23, 2024

Commits on Jul 19, 2024

  1. Adapt to latest MetaCoq erasure integrating reordering of constructors

    @mattam82
    mattam82 committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    2fc573c View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2024

  1. Simplify build, removing malfunction_ffi

    @mattam82
    mattam82 committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    d6ea357 View commit details
    Browse the repository at this point in the history

  2. Use MetaCoq's git version for testing for now

    @mattam82
    mattam82 committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    b2ee63a View commit details
    Browse the repository at this point in the history

  3. Ensure that mapping of bool is done by extractions and update README … 

    …to document Extract Inductive command
    @mattam82
    mattam82 committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    3183ae7 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Fix test-suite

    @mattam82
    mattam82 committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    22b5cae View commit details
    Browse the repository at this point in the history

  2. Fix PrintMli metaprogram to not print type declarations for bool and … 

    …unit
    @mattam82
    mattam82 committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    46e3f37 View commit details
    Browse the repository at this point in the history

  3. Fix test output

    @mattam82
    mattam82 committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    7c48b1d View commit details
    Browse the repository at this point in the history