Changes between Initial Version and Version 1 of IR


Ignore:
Timestamp:
11/21/15 19:29:26 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v1 v1  
     1
     2The CIVL-IR.  Also known as "CIVL model".
     3
     4==  Static Types ==
     5
     6* `Boolean`
     7* Integer types
     8 * `Integer` : the mathematical integers
     9 * `Int<Integer lo, Integer hi, Boolean wrap>`
     10  * 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.
     11* Real
     12 * `Real` : the mathematical real numbers
     13 * `Float<Integer e, Integer f>` : IEEE754 floating point numbers
     14* Struct
     15* Array
     16* Function
     17
     18== Values ==
     19
     20
     21
     22== Expressions ==
     23
     24
     25
     26== Program Graph ==
     27
     28== Model ==
     29
     30