Changes between Version 25 and Version 26 of Fundamentals

Timestamp:

05/16/23 09:18:42 (3 years ago)

Author:

siegel

Comment:

--

Fundamentals

@@ -258 +258 @@
 == Statements
 
-* `$assert`
-* `$assume`
-* `$atomic`
-* `$choose`
-* `$choose_int()`
-* `$default_value()`
-* `$elaborate`
-* `$elaborate_domain()`
-* `$exit`
-* `$for`
-* `$free`
-* `$havoc()`
-* `$hidden()`
-* `$hide()`
-* `$is_terminated($proc)`
-* `$local_end()`
-* `$local_start()`
-* `$malloc`
-* `$parfor`
-* `$reveal()`
-* `$scope_defined`
-* `$scope_parent`
-* `$spawn`
-* `$wait`
-* `$waitall`
-* `$when`
-* `$yield()`
-
-== Functions and macros
-
-=== `$pow(double, double)` 
+
+=== `$atomic`
+
+=== `$choose`
+
+=== `$for`
+
+=== `$parfor`
+
+=== `$spawn`
+
+=== `$when`
+
+
+== Functions
+
+=== `$assert`
+
+=== `$assume`
+
+=== `$assume_push`
+
+=== `$assume_pop`
+
+=== `$choose_int`
+
+=== `$default_value`
+
+=== `$elaborate_domain`
+
+=== `$exit`
+
+=== `$free`
+
+=== `$havoc`
+
+=== `$hidden`
+
+=== `$hide`
+
+=== `$is_derefable`
+
+=== `$is_terminated`
+
+=== `$local_end`
+
+=== `$local_start`
+
+=== `$malloc`
+
+=== `$pathCondition`
+
+=== `$pow` 
+
+`$pow(double, double)` 
+
+=== `$reveal`
+
+=== `$wait` and `$waitall`
+
+=== `$yield`
+
+
+== Macros
+
+
+=== `$elaborate`
+
+
+
 
 == Contract Annotations
@@ -294 +333 @@
 clauses
 
-* `depends_on`
-* `executes_when` 
-* `\nothing`
+=== The `depends_on` clause
+
+`\nothing`
+
+=== The `executes_when` clause