Changes between Initial Version and Version 1 of IntDivOperations


Ignore:
Timestamp:
05/13/16 14:09:01 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IntDivOperations

    v1 v1  
     1Here is the plan
     2
     31. In quantified expressions, contracts:
     4   no functions and arguments to % and / should be non-negative  (otherwise it will be an undefined behavior);
     52. IntDivTransformer will skip quantifiers, contracts; (no need for transformation)
     63. work on static analysis for intervals
     74. repeal (1) and (2)