The CIVL-IR. Also known as "CIVL model".

Static Types

• Boolean
• Integer types
  • Integer : the mathematical integers
  • Int<Integer lo, Integer hi, Boolean wrap>
    • finite interval of integers [lo,hi]. If wrap is true then all operations "wrap", otherwise, any operation resulting in a value outside of the interval results in an exception being thrown.
• Real
  • Real : the mathematical real numbers
  • Float<Integer e, Integer f> : IEEE754 floating point numbers
• Struct
• Array
• Function

Values

Expressions

Program Graph

Model