Changes between Version 132 and Version 133 of IR2

Timestamp:

06/17/21 13:52:38 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -74 +74 @@
 expression-list: expr (',' expr)* ;
 gotoStmt: 'goto' ID ;
-type-param-list: '$template' '<' type-param (',' type-param)* '>' ;
+type-param-list: '<' type-param (',' type-param)* '>' ;
 type-param: ('$typename' | '$int') ID ;
 INT: ... /* integer constant */
@@ -128 +128 @@
   | '$real' size-spec?   /* mathematical reals */
   | '$float' size-spec?  /* IEEE floating-point numbers */
-  | '$herbrand' '<' type-name '>'  /* Herbrand type of non-Herbrand numeric type T */
   | '$proc'  /* process type */
   | '$heap'  /* heap type, for dynamic allocation */
@@ -211 +210 @@
   | '$assert' expr (',' expr)* ';'  /* assertion with optional error message */
   | '$assume' expr ';'  /* assumption */
+  | '$assume_push' expr ';'  /* temporary assumption pushed on stack */
+  | '$assume_pop' ';'  /* pop the temporary assumption stack */
   ;