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 types
  • Real : the mathematical real numbers
  • Float<Integer e, Integer f> : IEEE754 floating point numbers
• Struct
  • list of name-type pairs
  • bit-widths?
• Array<T>
  • Array<Integer n,T>
• Function<S1,...,Sn;T>
• Pointer<T>

When are two types equal?

What are two types compatible?

Values

Expressions

Statements

• Assign
• Call
• Spawn
• Wait

Program Graph

Model

Libraries