Changes between Version 2 and Version 3 of C Interface

Timestamp:

02/01/10 09:54:06 (16 years ago)

Author:

Stephen Siegel

Comment:

--

C Interface

@@ -19 +19 @@
 == Assertion Language ==
 
-Some MiniMP expressions do not occur in C, such as {{{forall}}}, {{{exists}}}.  How to express them?
+Some MiniMP expressions do not occur in C, such as {{{forall}}}, {{{exists}}}.  For accuracy, there is also the derivative notation.   How to express them?  Where can they occur?  Can we use C's {{{assert}}}?
 
 
@@ -28 +28 @@
 
 Think of the functions in {{{stdlib}}}, {{{stdio}}}, etc.  We need some sort of abstract model of at least the most commonly-used functions.  Most of them do not have state and should be representable in a simple way, perhaps abstracted away altogether.
+
+== Abstract Functions ==
+