Instructions

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

aux.rs

Define how to parse from binary and store auxiliary data.

booleanizer.rs

Define Booleanizer instruction format and how to parse from binary.

mltl.rs

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