Changes between Version 1 and Version 2 of CIVLmeeting2013


Ignore:
Timestamp:
12/11/13 08:48:04 (12 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CIVLmeeting2013

    v1 v2  
    20207. Consider implementing a fence or barrier or other structures as primitives
    2121
    22 8. Get examples from [wiki:Examples], compile
     228. Examples
     23 - Get examples from [wiki:Examples], compile
     24 - Translate benchmarks from CVT/TASS to CIVL
     25 - Create a SVN repository for examples (both original code and translation in CIVL)
     26
     279. Find other tools to compare with CIVL
     28  - e.g. CBMC, DIVINE
     29