Changes between Version 45 and Version 46 of IR2

Timestamp:

04/28/21 18:32:29 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -180 +180 @@
   | expr '||' expr  /* logical or */
   | expr '==' expr  /* equality */
-  | expr '!=' expr  /* inequality */
+  | '!' expr  /* logical not */
+  | expr '<' expr  /* less than */
+  | expr '<=" expr  /* less than or equal to */
   | expr '[' expr ']'  /* array or map read */
-  | '!' expr  /* logical not */
   | '(' expr ')'
   | '*' expr  /* pointer dereference */
   | '&' lvalue  /* address-of */
   | $new(type-name)  /* returns a new arbitrary value of the given type */
+  | '(' type-name ')' expr  /* cast */
+  | '$forall' '(' decl expr? ')' expr  /* universal quantification */
+  | '$exists' '(' decl expr? ')' expr  /* existential quantification */
 
 }}}