Permalink
Comparing changes
Choose two branches to see what’s changed or to start a new pull request.
If you need to, you can also or
learn more about diff comparisons.
Open a pull request
Create a new pull request by comparing changes across two branches. If you need to, you can also .
Learn more about diff comparisons here.
...
- 4 commits
- 38 files changed
- 1 contributor
Commits on Mar 19, 2024
-
Update make_opam_files to upload the archive to the releases folder o…
…n github to avoid issues with github rebuilding the tarballs
Commits on Jun 6, 2024
Commits on Jun 7, 2024
-
Merge pull request #1089 from MetaCoq/force-lazy-evaluation
Add the `force (lazy t)` evaluation rule to LambdaBox
Commits on Jul 22, 2024
-
Proof that reordering of constructors is correct (#1095)
* WIP on reordering constructors * New/old tag reasoning * WIP correctness of constructor reordering. main lemma proven * Reordering preserves well-formedness * Reorderin * Admit free proofs of preservation for wf and substitution * WIP adapting to an additional mapping argument for transforms and stronger wellformedness property on extracted terms * Full composed pipeline with mapping of constructors * Fixes due to removal of useless -fast flag and change for reordering of constructors, now verified * Remove option to reorder constructors, now safely done always * Fix metacoq_tour * Fix a remaining todo * Remove generated files
Loading
This comparison is taking too long to generate.
Unfortunately it looks like we can’t render this comparison for you right now. It might be too big, or there might be something weird with your repository.
You can try running this command locally to see the comparison on your machine:
git diff v1.3.1-8.19...v1.3.2-8.19