Changes between Version 5 and Version 6 of IR2


Ignore:
Timestamp:
04/18/21 20:54:53 (5 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR2

    v5 v6  
    66
    77Types:
     8* `_Bool` : boolean type
     9* `char` : character
    810* `$int` : mathematical integers
    911* `$real` : mathematical reals
    10 * `$float<e,f>` : IEEE floating-point numbers with e,f integer constants
     12* `$float<e,f>` : IEEE floating-point numbers e=significand bits, f=exponent bits
    1113* `$herbrand<T>` : Herbrand type of non-Herbrand numeric type T
    12 * `_Bool`
    13 * `$proc`
    14 * `char`
    15 * `$bundle`
    16 * `$heap`
    17 * `$range`
    18 * `$domain`
    19 * `enum tag`
    20 * `struct tag`
    21 * `union tag`
     14* `$proc` : process type
     15* `$bundle`: bundle type for sequence of any type (same as seq<T>?)
     16* `$heap` : heap type, for dynamic allocation
     17* `$range` : regular sequence of integers
     18* `$domain` : tuple of ranges
     19* `$mem` : set of memory locations
     20* `enum tag` : enumerated type
     21* `struct tag` : structured type
     22* `union tag` : union type
    2223* `T[]` : array of T
    2324* `void *` : pointer to anything
    2425* `T *` : pointer to T
    25 * `T(T1, T2, ...)` : function consuming T1, ... and returning T
    26 * `$mem` : set of memory locations
     26* `T(T1, ..., Tn)` : function consuming T1, ..., Tn and returning T
     27* `$seq<T>` : sequence of T
    2728* `$set<T>` : set of T
    28 * `$map<T1,T2>` : maps from T1 to T2
     29* `$map<T1,T2>` : map from T1 to T2
    2930* `$rel<T1, ..., Tn>` : relation,  set of n-tuples
    3031