ConCert icon indicating copy to clipboard operation
ConCert copied to clipboard

Published 20 hours ago • verified publisher icon AU-COBRA

Update dependencies

Open 4ever2 opened this issue 8 months ago • 0 comments

  • 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 https://github.com/MetaCoq/metacoq/commit/fa4b728f2ecd74f7503d682bccfe31facc8d7747)

Closes #242

4ever2 avatar Jun 18 '24 12:06 4ever2