sbv-0.9.23: Symbolic bit vectors: Bit-precise verification and automatic C-code generation.

Portabilityportable
Stabilityexperimental
Maintainererkokl@gmail.com

Data.SBV.Examples.BitPrecise.BitTricks

Description

Checks the correctness of a few tricks from the large collection found in: http://graphics.stanford.edu/~seander/bithacks.html

Synopsis

Documentation

queries :: IO ()Source

Collection of queries