Lib.rs

Cargo Features

haybale has no features set by default.

[dependencies]
haybale = { version = "0.7.2", features = ["llvm-9", "llvm-10", "llvm-11", "llvm-12", "llvm-13", "llvm-14", "vendor-boolector", "llvm-9-or-greater", "llvm-10-or-greater", "llvm-11-or-greater", "llvm-12-or-greater", "llvm-13-or-greater", "llvm-14-or-greater", "llvm-9-or-lower", "llvm-10-or-lower", "llvm-11-or-lower", "llvm-12-or-lower", "llvm-13-or-lower", "llvm-14-or-lower", "llvm-9-strict", "llvm-10-strict", "llvm-11-strict", "llvm-12-strict", "llvm-13-strict", "llvm-14-strict"] }

llvm-9 llvm-9-strict? = llvm-9-or-greater, llvm-9-or-lower

Select the LLVM version to be compatible with.
You _must_ enable exactly one of the following features.

Enables llvm-9 of llvm-ir ^0.8.2

llvm-10 llvm-10-strict? = llvm-10-or-greater, llvm-10-or-lower

Enables llvm-10 of llvm-ir ^0.8.2

llvm-11 llvm-11-strict? = llvm-11-or-greater, llvm-11-or-lower

Enables llvm-11 of llvm-ir ^0.8.2

llvm-12 llvm-12-strict? = llvm-12-or-greater, llvm-12-or-lower

Enables llvm-12 of llvm-ir ^0.8.2

llvm-13 llvm-13-strict? = llvm-13-or-greater, llvm-13-or-lower

Enables llvm-13 of llvm-ir ^0.8.2

llvm-14 llvm-14-strict? = llvm-14-or-greater, llvm-14-or-lower

Enables llvm-14 of llvm-ir ^0.8.2

vendor-boolector

If you enable this, Cargo will automatically download and build Boolector as part of the build process. If you don't enable this, Cargo will look for a system install of Boolector as a shared library.

Enables vendor-lgl of boolector

llvm-9-or-greater llvm-10-or-greater? llvm-9?

For convenience, these automatically-enabled features allow us to avoid checking complex combinations of features all the time. They are not meant to be manually enabled; use the above llvm-x features instead

llvm-10-or-greater llvm-10? llvm-11-or-greater? = llvm-9-or-greater

llvm-11-or-greater llvm-11? llvm-12-or-greater? = llvm-10-or-greater

llvm-12-or-greater llvm-12? llvm-13-or-greater? = llvm-11-or-greater

llvm-13-or-greater llvm-13? llvm-14-or-greater? = llvm-12-or-greater

llvm-14-or-greater llvm-14? = llvm-13-or-greater

llvm-9-or-lower llvm-9? = llvm-10-or-lower

llvm-10-or-lower llvm-10? llvm-9-or-lower? = llvm-11-or-lower

llvm-11-or-lower llvm-10-or-lower? llvm-11? = llvm-12-or-lower

llvm-12-or-lower llvm-11-or-lower? llvm-12? = llvm-13-or-lower

llvm-13-or-lower llvm-12-or-lower? llvm-13? = llvm-14-or-lower

llvm-14-or-lower llvm-13-or-lower? llvm-14?

llvm-9-strict = llvm-9

These features select the corresponding LLVM version, and require an exact match between the system LLVM version and the LLVM version chosen here. For more information, see the "strict-versioning" feature on llvm-sys.

Enables llvm-9-strict of llvm-ir ^0.8.2

llvm-10-strict = llvm-10

Enables llvm-10-strict of llvm-ir ^0.8.2

llvm-11-strict = llvm-11

Enables llvm-11-strict of llvm-ir ^0.8.2

llvm-12-strict = llvm-12

Enables llvm-12-strict of llvm-ir ^0.8.2

llvm-13-strict = llvm-13

Enables llvm-13-strict of llvm-ir ^0.8.2

llvm-14-strict = llvm-14

Enables llvm-14-strict of llvm-ir ^0.8.2