Changes between Version 20 and Version 21 of Next-GenOpenMPTransformation


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

--

Legend:

Unmodified
Added
Removed
Modified

  • Next-GenOpenMPTransformation

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