Changes between Version 14 and Version 15 of IR


Ignore:
Timestamp:
11/21/15 23:47:34 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v14 v15  
    108108* `$forall`, `$exists`
    109109* `e1.i`, some natural number i (tuple read)
    110 * `$initial_value(e1)` : some way to get initial value of something (like array)?
     110* `$initial_value(T; e1,...,en)`
     111 * e1,...,en are expressions of integer type
     112 * the type of this expression is T[e1]...[en]
     113 * array value with base type `T` and length e1,...,en
    111114* `$typeof(...)`: what is this for?
    112115* `$sizeof(T)` : T is a type name?