Skip to content
  • Rodolphe Lepigre's avatar
    Improvement in the handling of boolean expressions. · 7158d4dd
    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.