Changes between Version 32 and Version 33 of ContractReduction


Ignore:
Timestamp:
12/08/15 11:02:13 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ContractReduction

    v32 v33  
    185185
    186186
    187 == Function specifier `$atomic_f`==
    188 The function specifier `$atomic_f` may be used to designate that any call to the function is to be treated atomically.
     187== Function specifiers==
     188* `$atomic_f`: may be used to designate that any call to the function is to be treated atomically.
     189* `$pure`: specify that a function doesn't have any side effect. (is equivalent to `assigns \nothing`).
    189190
    190191== Guards ==