Changes between Version 1 and Version 2 of Challenge

Timestamp:

03/11/19 15:54:00 (7 years ago)

Author:

siegel

Comment:

--

Challenge

@@ -21 +21 @@
 
  `$spawn stmt`::
-  create a new process executing stmt.  Returns a $proc.
+  creates a new process executing the statement.  Returns a value of type `$proc`
+referencing the new process.
 
  `$wait($proc p)`::
-  block until process p terminates
+  blocks until process p terminates
 
-$parfor (int i:a..b) f(.. i ..);
-  spawns threads calling f, one for each i in a..b,
-  waits for them to terminate
+ `$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.
 
-assertions:
-  Use either C's assert (include <assert.h>) or CIVL's $assert.
-  They mean the same thing.
+ `$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.
 
-Quantification: $forall and $exists.  Examples:
-  $forall (double x | x>0) x>1
-  $forall (int i | a<=i && i<=b) p(i)
-  $forall (int i:a..b) p(i)
+`$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
+ * `$forall (int i:a..b) p(i)`  -- same as above, but more convenient