Changes between Version 11 and Version 12 of Next-GenOpenMPTransformation


Ignore:
Timestamp:
05/07/19 15:36:56 (7 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Next-GenOpenMPTransformation

    v11 v12  
    106106The current simplifier will incorrectly sequentialize the example above without realizing the fact that this example is sequentializable if and only if no "logical" out-of-bound happens during the execution.
    107107A fix for the simplifier could be sequentializing the example with inserted assertion for making sure that there is no "logical" out-of-bound error.
     108
     109== Related ==
     110[wiki: staticAnalysis Static Analysis]