Changes between Version 4 and Version 5 of IR2

Timestamp:

04/18/21 18:46:38 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -9 +9 @@
 * `$real` : mathematical reals
 * `$float<e,f>` : IEEE floating-point numbers with e,f integer constants
+* `$herbrand<T>` : Herbrand type of non-Herbrand numeric type T
 * `_Bool`
 * `$proc`
@@ -19 +20 @@
 * `struct tag`
 * `union tag`
-* `T[]`
-* `T[n]` : do we want dependent types?
+* `T[]` : array of T
+* `void *` : pointer to anything
+* `T *` : pointer to T
+* `T(T1, T2, ...)` : function consuming T1, ... and returning T
+* `$mem` : set of memory locations
+* `$set<T>` : set of T
+* `$map<T1,T2>` : maps from T1 to T2
+* `$rel<T1, ..., Tn>` : relation,  set of n-tuples