Instructions

Booleanizer, MLTL, and Auxiliary data instructions are defined here as well as appropriate parsing information from the C2PO binary file.

aux_info.h

Define how to parse from binary and store auxiliary data.

booleanizer.h and booleanizer.c

Define Booleanizer instruction format and how to parse from binary.

mltl.h and booleanizer.c

Define MLTL instruction format, how to parse from binary, and provide configuration operations (e.g., configuring SCQ slots).