Changes between Version 19 and Version 20 of Next-GenOpenMPTransformation


Ignore:
Timestamp:
05/16/19 11:25:57 (7 years ago)
Author:
wuwenhao
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Next-GenOpenMPTransformation

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