Changes between Version 23 and Version 24 of C to tass-AST xml

Timestamp:

04/18/11 11:35:24 (15 years ago)

Author:

Stephen Siegel

Comment:

--

C to tass-AST xml

@@ -59 +59 @@
          * a[i] (array index)
          * x.a (record navigation)
-      * assignments: x++, x--, ++x, --x
+      * assignments: x=expr, x++, x--, ++x, --x
+      * quantifiers: \forall, \exists, \uniform, \sum
       * function invocation f(x)
       * initializers (special kind of expression used to initialize variables in their decl)