Changes between Version 6 and Version 7 of Introduction
- Timestamp:
- 12/28/18 20:37:05 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Introduction
v6 v7 48 48 49 49 50 == Examples ==50 == Verifying Different Kinds of Programs == 51 51 52 == Verifying Programs == 52 === Verifying CIVL-C Programs === 53 53 54 54 55 === Verifying C Programs === 55 56 57 58 56 59 === Verifying C/MPI Programs === 60 61 57 62 58 63 === Verifying C/OpenMP Programs === 59 64 65 66 60 67 === Verifying CUDA-C Programs === 68 69 61 70 62 71 === Verifying C/Pthreads Programs === 63 72 73 74 64 75 === Verifying Fortran Programs === 76 77 65 78 66 79 (under development) … … 68 81 69 82 70 = Language = #lang 83 = The CIVL-C Language = #lang 84 71 85 72 86 … … 74 88 75 89 76 = Tools = #tools 90 = Command-line Tools = #tools 91 92
