Changes between Version 12 and Version 13 of C Interface

Timestamp:

06/04/10 12:01:25 (16 years ago)

Author:

Stephen Siegel

Comment:

--

C Interface

@@ -121 +121 @@
 Here is a list of pragma types we need:
 
-* {{{#pragma TASS assert <TASS expression>}}}
-* {{{#pragma TASS assume <TASS expression>}}}
-* {{{#pragma TASS invariant <TASS expression>}}}
-* {{{#pragma TASS jointinvariant <TASS expression>}}}
-* {{{#pragma TASS ignore}}}
-* {{{#pragma TASS input <type> <variable>}}}
+ * {{{#pragma TASS assert <TASS expression>}}}
+ * {{{#pragma TASS assume <TASS expression>}}}
+ * {{{#pragma TASS invariant <TASS expression>}}}
+ * {{{#pragma TASS jointinvariant <TASS expression>}}}
+ * {{{#pragma TASS ignore}}}
+ * {{{#pragma TASS input <type> <variable>}}}
 
 Grammar of TASS expressions:
 
 The grammar can basically be extracted from the MiniMP grammar.   It should allow most all C expressions, plus our new expressions:
-* {{{spec.<identifier>}}}
-* {{{forall {<type> <ident> | expr} expr}}}
-* ditto with {{{exists}}} in place of {{{forall}}}
+ * {{{spec.<identifier>}}}
+ * {{{forall {<type> <ident> | expr} expr}}}
+ * ditto with {{{exists}}} in place of {{{forall}}}