feat(BV): Add support for bv2nat/int2bv normal forms #619
bclement-ocpbuild_static.yml
on: pull_request
Build statically linked binary with musl
4m 39s
Matrix: Build statically linked macOS binaries
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
alt-ergo-x86_64-linux-musl
Expired
|
8.7 MB |
|