Changes between Version 21 and Version 22 of Next-GenOpenMPTransformation


Ignore:
Timestamp:
05/16/19 14:14:58 (7 years ago)
Author:
wuwenhao
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Next-GenOpenMPTransformation

    v21 v22  
    154154
    155155== Capture Read / Write at Runtime ==
    156 [wiki:NewOpenMP2CIVLTransformation]
    157156* If the OpenMP Simplifier fails to sequentialize a program,  transform the OpenMP program to the following form for model checking:
    158157{{{