= CIVL: The Concurrency Intermediate Verification Language =
[[Image(logo.png)]]

== Tool Development ==

- Performance
   * [wiki:IdeasForPerformance]
   * [wiki:HeapCanonicalization]
- Coding standards
   * [wiki:"Coding Standards"]
   * [wiki:"Coding Standards for CIVL models"]
- Comparison
   * [wiki:Comparison]
- Transformers
   * [wiki:GeneralTransformation]: translates away arguments of main.
   * [wiki:IOTransformation]: translates stdio.h-related code to fit CIVL's stdio implementation.
   * [wiki:MPITransformation]: translates MPI to CIVL.
   * [wiki:PthreadTransformation]: translates Pthread code to CIVL code.
   * [wiki:OpenMPTransformation]: translates OpenMP to CIVL.
   * [wiki:CudaTransformation]: translates Cuda to CIVL.
   * [wiki:OpenCLTransformation]: translates OpenCL to CIVL.
- CIVL pragma: [wiki:CIVLPragmas]
- GUI
   * [wiki:GUIRequirements]
   * [wiki:GUIDesign]
   * [wiki:TraceViewer]

==  CIVL-C Language ==

Contents
* [wiki:DataStructures]
* [wiki:Arrays]
* [wiki:Pointers]
* [wiki:MessagePassing]
* [wiki:OmnibusChanges]
* [wiki:ContractReduction]
* [wiki:Examples]
* [wiki:CommonHelperFunctionsForDifferentParallelLanguage]

== Competition ==

Some information concerning SV-COMP.

* http://sv-comp.sosy-lab.org/2015/ : SV-COMP 2015
* http://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html : the GNU extensions to C
* http://www.sosy-lab.org/~dbeyer/cpa-witnesses/ : Error witness format
* http://sv-comp.sosy-lab.org/2015/Minutes-2014.txt : Minutes of 2014 meeting



== Meetings ==

* [wiki:CIVLmeeting2013]


== Release ==

Junit reports, download:
* Latest release: [https://vsl.cis.udel.edu/civl/test/current/latest/]
* Latest unstablerelease: [https://vsl.cis.udel.edu/civl/test/trunk/latest/]

== Bug Report ==
If you have any problem when using CIVL, you can report it by creating a new ticket: [https://vsl.cis.udel.edu/trac/civl/newticket]
It would be helpful for us to trace the bug if you also submit your CIVL-C programs as attachments of the ticket.

== Other Links ==
* Paper reading: 
   - Sources https://vsl.cis.udel.edu/readings.html
   - Schedule https://docs.google.com/spreadsheet/ccc?key=0AvyY9XPxT2MVdFJzMThfWVdGZFpsYkNCcEJzUGdyYWc#gid=0
* Conferences: https://docs.google.com/spreadsheet/ccc?key=0AvyY9XPxT2MVdEx6OFJ5b2MzMms1UW1YQjhSdXdpU3c&usp=drive_web#gid=0