Changes between Version 2 and Version 3 of Challenge

Timestamp:

03/11/19 15:59:37 (7 years ago)

Author:

siegel

Comment:

--

Challenge

@@ -8 +8 @@
 Be sure to include the appropriate headers.
 
-Boolean type: `_Bool`.  Values: 0 and 1.
-  (Same as C11).
+
 
 Semaphore operations:
@@ -17 +16 @@
 (`#define` ...)
 
+
+ `_Bool`::  The Boolean type.  Values: 0 and 1.  This is the same as C11.
+
  `$proc`::
   the process type.  A value of this type refers to a process.
 
  `$spawn stmt`::
-  creates a new process executing the statement.  Returns a value of type `$proc`
-referencing the new process.
+ creates a new process executing the statement.  Returns a value of type `$proc`
+ referencing the new process.
 
  `$wait($proc p)`::
-  blocks until process p terminates
+ blocks until process p terminates
 
  `$parfor (int i:a..b) stmt`::
   spawns threads, one for each i in the range a..b, each executing `stmt`.
-Waits for them to terminate.
+ Waits for them to terminate.
 
  `$assert(expr)`::
-An assertion.  This is treated exactly the same as C's `assert`, except with 
-the latter you must include `assert.h`.    CIVL-C has a richer assertion
-language that C---e.g., you can use quantifiers.
+ An assertion.  This is treated exactly the same as C's `assert`, except with 
+ the latter you must include `assert.h`.    CIVL-C has a richer assertion
+ language that C---e.g., you can use quantifiers.
 
-`$forall` and `$exists`::
-Mean what you think.   Here are some examples to show the syntax:
+ `$forall` and `$exists`::
+ Mean what you think.   Here are some examples to show the syntax:
  * `$forall (double x | x>1) x>0` -- for all doubles x that are greater than 1, x is greater than 0
  * `$forall (int i | a<=i && i<=b) p(i)` -- for all i between a and b (inclusive), p(i) holds
@@ -94 +96 @@
 concurrently in separate threads.  Used to avoid deadlocks that could
 result if all processes do MPI_Send; MPI_Recv.
-