Changes between Version 21 and Version 22 of C to tass-AST xml

Timestamp:

04/16/11 21:29:28 (15 years ago)

Author:

Stephen Siegel

Comment:

--

C to tass-AST xml

@@ -28 +28 @@
  * type definitions (typedef...)
  * statements (may have label)
-   * assign
+   * assign (translate x+=a, x*=a, ...)
    * assert
    * assume
@@ -54 +54 @@
       * literals (including named literals): integers, reals, strings, chars
       * variable
-      * operators: +,-,*,/,%,<,<=,>,>=,==,!=,!,&&, | |, (x?y:z)
-      * special kinds of assignments: x++, x--, ++x, --x, x+=a, x*=a, ...
+      * operators: +,-,*,/,%,<,<=,>,>=,==,!=,!,&&, | |, (x?y:z), bitand, bitor, bitxor, lshift, rshift
+      * assignments: x++, x--, ++x, --x
       * bit-wise operators?
       * &,* (pointer operations)