Changes between Version 117 and Version 118 of IR


Ignore:
Timestamp:
12/09/15 15:35:55 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v117 v118  
    477477* Example of a function declaration with contracts:
    478478{{{
    479 atomic_f sendRecv(Int cmd, Pointer buf): Integer
     479fun[atomic] sendRecv(Int cmd, Pointer buf): Integer
    480480  depends [eq(cmd, SEND)] writes(buf)
    481481  depends [eq(cmd, RECV)] access(deref(buf))