Changes between Version 22 and Version 23 of Introduction


Ignore:
Timestamp:
07/28/21 10:44:42 (5 years ago)
Author:
Alex Wilton
Comment:

Added links to API docs

Legend:

Unmodified
Added
Removed
Modified

  • Introduction

    v22 v23  
    577577== Verifying C/MPI Programs ==
    578578
     579Link to main [wiki:MPIDocs "MPI Documentation."]
     580
    579581CIVL can verify C/MPI programs that use a subset of MPI.    The instructions for sequential programs apply equally to MPI programs.  In addition, one must specify either (1) the number of processes for the MPI program, or (2) an upper and a lower bound on the number of processes for the MPI program.
    580582
    … …  
    595597== Verifying C/OpenMP Programs ==
    596598
     599Link to main [wiki:OpenMPDocs "OpenMP Documentation."]
     600
    597601CIVL uses an input variable `omp_thread_max` for verifying OpenMP programs.   It must be specified on the command line, e.g.,
    598602
    … …  
    609613== Verifying CUDA-C Programs ==
    610614
    611 [wiki:CudaDocumentation]: Link to CUDA-C Documentation
     615Link to main [wiki:CUDADocs "CUDA-C Documentation."]
    612616
    613617== Verifying C/Pthreads Programs ==
    614618
    615 
     619Link to main [wiki:PthreadsDocs "Pthreads Documentation."]
    616620
    617621== Verifying Fortran Programs ==
    618622
     623Link to main [wiki:FortranDocs "Fortran Documentation."]
    619624
    620625(under development)