Changes between Version 10 and Version 11 of C to tass-AST xml

Timestamp:

04/10/11 13:49:04 (15 years ago)

Author:

Stephen Siegel

Comment:

--

C to tass-AST xml

@@ -3 +3 @@
 == Elements of a TASS AST ==
 
-See description of CIL AST: http://www.cs.berkeley.edu/~necula/cil/attributes.html
+See description of CIL AST: 
+ * http://www.cs.berkeley.edu/~necula/cil/api/
+ * http://www.cs.berkeley.edu/~necula/cil/api/Cil.html
+
 
 Preprocessing: first, the file is preprocessed to create a stream of tokens with original source information.
@@ -16 +19 @@
  * function declarations (no body)
  * type definitions (typedef...)
- * statements
+ * statements (may have label)
    * assign
    * assert