Changes between Version 82 and Version 83 of Next-GenOpenMPTransformation


Ignore:
Timestamp:
12/03/21 13:51:56 (4 years ago)
Author:
wuwenhao
Comment:

Add 1.3 and 1.4 items

Legend:

Unmodified
Added
Removed
Modified

  • Next-GenOpenMPTransformation

    v82 v83  
    77
    88  1.2 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Introduction#a1.2OverviewofOpenMPTransformation General Ideas of OpenMP Transformation]
     9
     10  1.3 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Introduction#a1.3OpenMPSimplification OpenMP Simplification]
     11
     12  1.4 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Introduction#a1.4ModelCheckingOpenMPPrograms Model Checking OpenMP Programs]
    913
    1014== 2 [wiki:OpenMP-Transformation-Supported-Features] ==