haybale-pitchfork 0.4.1

Verifying constant-time code with symbolic execution
Documentation

haybale-pitchfork

There is very little structured metadata to build this page from currently. You should check the main library docs, readme, or Cargo.toml in case the author documented the features in them.

This version has 26 feature flags, 5 of them enabled by default.

default

  • progress-updates

progress-updates

  • log4rs
  • crossterm
  • anyhow

log4rs

    This feature flag does not enable additional features.

crossterm

    This feature flag does not enable additional features.

anyhow

    This feature flag does not enable additional features.

llvm-12-strict

  • llvm-12
  • haybale/llvm-12-strict
  • llvm-ir/llvm-12-strict

llvm-9-strict

  • llvm-9
  • haybale/llvm-9-strict
  • llvm-ir/llvm-9-strict

llvm-13-strict

  • llvm-13
  • haybale/llvm-13-strict
  • llvm-ir/llvm-13-strict

llvm-10-strict

  • llvm-10
  • haybale/llvm-10-strict
  • llvm-ir/llvm-10-strict

llvm-11-strict

  • llvm-11
  • haybale/llvm-11-strict
  • llvm-ir/llvm-11-strict

llvm-9

  • haybale/llvm-9
  • llvm-ir/llvm-9

vendor-boolector

  • haybale/vendor-boolector
  • boolector/vendor-lgl

llvm-13

  • haybale/llvm-13
  • llvm-ir/llvm-13

llvm-12

  • haybale/llvm-12
  • llvm-ir/llvm-12

llvm-10

  • haybale/llvm-10
  • llvm-ir/llvm-10

llvm-11

  • haybale/llvm-11
  • llvm-ir/llvm-11

llvm-11-or-lower

  • llvm-12-or-lower

llvm-10-or-greater

  • llvm-9-or-greater

llvm-12-or-greater

  • llvm-11-or-greater

llvm-9-or-lower

  • llvm-10-or-lower

llvm-11-or-greater

  • llvm-10-or-greater

llvm-10-or-lower

  • llvm-11-or-lower

llvm-13-or-greater

  • llvm-12-or-greater

llvm-12-or-lower

  • llvm-13-or-lower

llvm-9-or-greater

    This feature flag does not enable additional features.

llvm-13-or-lower

    This feature flag does not enable additional features.