Changes between Version 9 and Version 10 of C Interface

Timestamp:

03/08/10 11:25:16 (16 years ago)

Author:

Stephen Siegel

Comment:

--

C Interface

@@ -30 +30 @@
 
 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.
+
+We think the best approach is to create separate MiniMP library files corresponding to the standard C ones.  For example, mathlib.mmp:
+
+{{{
+abstract real atanh(real x);
+abstract continuous(\infty) real cos(real x);
+}}}
 
 == Abstract Functions ==
@@ -107 +114 @@
 {{{
 l1:
-#pragma factor(2:1) inv(i == spec.j && k == spec.s + 1)
+#pragma TASS factor(2:1) inv(i == spec.j && k == spec.s + 1)
 while(...)
 {
@@ -115 +122 @@
 
 {{{
-#pragma input assume(a>=0 && a<=5) is(b)
+#pragma TASS input assume(a>=0 && a<=5) is(b)
 int a;
 }}}