Changes between Version 7 and Version 8 of C Interface

Timestamp:

02/22/10 10:36:19 (16 years ago)

Author:

Stephen Siegel

Comment:

--

C Interface

@@ -101 +101 @@
 * do we need to add char (and string?) datatypes to TASS?
 
+== Pragmas ==
+
+Pragmas might be the best way to get the information through the front-end.
+
+{{{
+l1:
+#pragma factor(2:1) inv(i == spec.j && k == spec.s + 1)
+while(...)
+{
+...
+}
+}}}
+
+{{{
+#pragma input assume(a>=0 && a<=5) is(b)
+int a;
+}}}
+