Changes between Version 23 and Version 24 of Introduction

Timestamp:

07/28/21 10:50:37 (5 years ago)

Author:

Alex Wilton

Comment:

Changed API link names

Introduction

@@ -577 +577 @@
 == Verifying C/MPI Programs ==
 
-Link to main [wiki:MPIDocs "MPI Documentation."]
+Link to main [[wiki:MPI Documentation|MPI Documentation.]]
 
 CIVL 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.
@@ -597 +597 @@
 == Verifying C/OpenMP Programs ==
 
-Link to main [wiki:OpenMPDocs "OpenMP Documentation."]
+Link to main [[wiki:OpenMP Documentation|OpenMP Documentation.]]
 
 CIVL uses an input variable `omp_thread_max` for verifying OpenMP programs.   It must be specified on the command line, e.g.,
@@ -613 +613 @@
 == Verifying CUDA-C Programs ==
 
-Link to main [wiki:CUDADocs "CUDA-C Documentation."]
+Link to main [[wiki:CUDA Documentation|CUDA-C Documentation.]]
 
 == Verifying C/Pthreads Programs ==
 
-Link to main [wiki:PthreadsDocs "Pthreads Documentation."]
+Link to main [[wiki:Pthreads Documentation|Pthreads Documentation.]]
 
 == Verifying Fortran Programs ==
 
-Link to main [wiki:FortranDocs "Fortran Documentation."]
+Link to main [[wiki:Fortran Documentation|Fortran Documentation.]]
 
 (under development)