-
Rodolphe Lepigre authored
The following changes are introduced: - If-statements and asserts have now an op-type. - If-statements are primitive (not encoded with switch). - The && and || operators are implemented using IfE. - The front-end uses better types for conditionals and asserts.
7158d4dd