checker:自动检查器，用于Coq中的无锁并发程序

IO检查器 自动检查器，用于Coq中的无锁并发程序。 跑步 使用 ，添加存储库： opam repo add coq-released https://coq.inria.fr/opam/released opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev 并安装依赖项： opam install -j4 -v coq:io:system 编译Coq代码： ./configure.sh make