Module haybale::backend

source ·
Expand description

Traits which abstract over the backend (BV types, memory implementation, etc) being used.

Structs

Traits

  • BV
    Trait for things which can act like bitvectors.
  • Backend
    A Backend is just a collection of types which together implement the necessary traits
  • Memory
    Trait for things which can act like ‘memories’, that is, maps from bitvector (addresses) to bitvector (values)
  • SolverRef
    Trait for something which acts as a reference to a boolector::Btor (and possibly may carry other information as well).