Stream: math-comp devs

Topic: Packaging mczify for 8.11 and 8.12


view this post on Zulip 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: Aug 11 2022 at 03:02 UTC