Stream: math-comp devs

Topic: Packaging mczify for 8.11 and 8.12

Karl Palmskog (Jul 24 2020 at 01:01):

Due to changes in lia/zify, It's currently not possible to use the same files from mczify to support MC+lia in both Coq 8.11 and 8.12. @Kazuhiko Sakaguchi Is there any chance of having releases and OPAM packages of mczify for 8.11 and 8.12 so that projects that use mczify don't have to maintain different branches with bundled mczify code? For example, I bundle/vendor mczify here but can only support Coq 8.11 in the branch due to this: https://github.com/runtimeverification/algorand-verification/

Last updated: Apr 19 2024 at 02:02 UTC