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

Update dependencies #243

Draft
wants to merge 8 commits into
base: master
Choose a base branch
from
Draft

Update dependencies #243

wants to merge 8 commits into from

Conversation

4ever2
Copy link
Collaborator

@4ever2 4ever2 commented Jun 18, 2024 •
edited
Loading

  • Updates the MetaCoq dependency to version 1.3.1
  • Support std++ 1.9.0-1.10.0
  • Support Coq 8.17-8.19

Should not be merged yet as it includes temporary workarounds for the following issues:

  • The dearg transform produces invalid masks when the do_trim_ctor_masks flag is set
  • There is a universe inconsistency between MetaCoq and stdpp affecting several files in extraction (Fixed in MetaCoq/metacoq@fa4b728)

Closes #242

@4ever2 4ever2 force-pushed the metacoq-1.3 branch 2 times, most recently from 96b3ca5 to 1e37400 Compare June 18, 2024 22:47
@4ever2 4ever2 changed the title Update MetaCoq to 1.3.1 Update dependencies Jun 19, 2024
@4ever2 4ever2 added state: blocked Something blocks completion of this issue or pull request and removed state: work in progress Issue/PR being worked on labels Jun 19, 2024
@4ever2 4ever2 force-pushed the metacoq-1.3 branch 4 times, most recently from d78d849 to 234be25 Compare June 26, 2024 14:45
@4ever2 4ever2 mentioned this pull request Jul 10, 2024
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
part: dependencies state: blocked Something blocks completion of this issue or pull request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Update to MetaCoq 1.3
1 participant
@4ever2