Changes between Version 77 and Version 78 of IR


Ignore:
Timestamp:
11/28/15 08:48:36 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v77 v78  
    44Questions:
    55* fix notation for contracts
    6 * can labels, whens, chooses be optional?
     6* can labels, whens, chooses be optional? 
    77* quotes around variables in declarations?
    88* quotes around function names in definitions, prototypes?
    99* is there ever a need for a function prototype?  Could variable decl notation be used instead? NO, variable decls are different, those are state variables.
     10* should we leave our parameter names in abstract and system functions?  They are not needed for anything.
    1011
    1112