Changes between Initial Version and Version 1 of C Interface


Ignore:
Timestamp:
02/01/10 09:43:57 (16 years ago)
Author:
Stephen Siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • C Interface

    v1 v1  
     1How will one make up a C program for the TASS model extractor?
     2
     3== Input/Output ==
     4
     5== Assumptions ==
     6
     7== Assertion Language ==
     8
     9 * forall/exists
     10
     11== Loop invariants/co-invariants ==
     12
     13== Library calls ==
     14