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

== Related Projects ==

This is the Trac site of CIVL, including its related projects:
- [wiki:ABC]
- [wiki:GMC]
- [wiki:SARL]

== Tool Development ==

- Analysis
   * [wiki:Overview]
   * [wiki:MemoryAnalysis]
   * [wiki:PointsToAnalysis]
   * [wiki:AliasAnalysis]
- Performance
   * [wiki:IdeasForPerformance]
   * [wiki:HeapCanonicalization]
   * [wiki:PolynomialExpansion]
- Coding standards
   * [wiki:"Coding Standards"]
   * [wiki:"Coding Standards for CIVL models"]
- Comparison
   * [wiki:Comparison]
- Fortran Translation
   * [wiki:FortranTranslationIssues]
- 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:IR] : CIVL-IR
* [wiki:DataStructures]
* [wiki:Arrays]
* [wiki:Pointers]
* [wiki:Choose]
* [wiki:MessagePassing]
* [wiki:OmnibusChanges]
* [wiki:ContractReduction]
* [wiki:VerificationWithContracts]
* [wiki:Examples]
* [wiki:CommonHelperFunctionsForDifferentParallelLanguage]

== Case Studies ==
* [wiki:StandardHPCExamples]
* [wiki:BattleOfTheDialects]

== 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]

== Paper ==
* [wiki:ExampleList]

== Release ==

Junit reports, download:
* Latest release: [http://vsl.cis.udel.edu/lib/sw/civl/current/latest/]
* Latest unstablerelease: [http://vsl.cis.udel.edu/lib/sw/civl/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].[[br]]
It would be helpful for us to trace the bug if you also submit your source programs as attachments of the ticket.

When reporting a bug, you are greatly recommended to provide specific information as much as possible, such as the civl command, the source files, the civl version, the error message or exception, etc. The minimum is to provide sufficient information for others to reproduce the problem.

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