what4-1.0: Solver-agnostic symbolic values support for issuing queries

Copyright(c) Galois Inc 2019-2020
LicenseBSD3
Maintainerrdockins@galois.com
Safe HaskellSafe
LanguageHaskell2010

What4.Utils.IncrHash

Description

A basic datatype for incremental hashing which supports a monoid instance. Currently this is simply implemented as bitwise xor for simplicity.

If we later wish to experiment with other incremenal hash algorithms, this module abstracts over the implementation details.

Documentation