Changes between Version 145 and Version 146 of IR


Ignore:
Timestamp:
02/10/21 10:17:42 (5 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v145 v146  
    501501* 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.
    502502* should we leave our parameter names in abstract and system functions?  They are not needed for anything.  THEY ARE NEEDED FOR CONTRACTS, sometimes, and maybe for documentation.    Consider making them optional.
     503* need a way to have contracts, including POR contracts, as part of the language.
     504* change the syntax so it is a subset of CIVL-C