Changes between Version 6 and Version 7 of CIVL-C

Timestamp:

05/03/23 13:50:26 (3 years ago)

Author:

siegel

Comment:

--

CIVL-C

@@ -20 +20 @@
 * Be able to specify hardware environment to verify under like ints are 32 bits, floats are 32 bits, big-endian vs little-endian, etc.
 * Increased emphasis on static analysis.
+* There must be a way to implement malloc without knowing the element type.   Possibly, design a heap using $bundles.
+The 
+
 
 === Design
@@ -37 +40 @@
   * ABC - uses SARL, Util
   * MC - uses ABC, SARL, Util
+* Make CIVLType richer, acting as an interpreter for values (symbolic expressions).  Each CIVLType should have methods that consume and produce symbolic expressions.  For example, each should have a method to cast a value to another (acceptable) type.  Each should have a method to create values for that type.
 
 === Process