traq

A prototype implementation of the Traq framework, with concrete and symbolic quantum cost analysis of classical programs, and compilation to a classical-quantum target language (CQPL). Provides the formal underpinnings of the qubrabench benchmarking library.