Fix tabbing
Bug fix for the tuner: missing mustHaveValue constraints
Bug fix: overflow in compiler automatic static casting
Fix tabbing
Adding a new abstraction for elements: must have value
Edits
bug fixes
Bug fix for removing must edges...They also need to update constraints
backout changes
Fixing header bugs
Extend tuning framework
Change dependences
Run tabbing pass
edits
Big Tabbing Change
Include encoding for values
Binary value encoding ...
Add OneHot Encoding
Add CIRCUIT Encoding for Equals
Make naive encoding follow AST Tree