verifier 0.1.0

Macros that provide common software verifier primitives
Documentation