Hardware Logic Operation Library (hlop)

This is a library to model logic operations performed by hardware compilers and simulators.

The semantics are set for LiveHD/Pyrope which uses unlimited precision signed arithmetic, but it can be used by other hardware platforms.