= CIVL: The Concurrency Intermediate Verification Language =

== The CIVL-C Language ==

Contents
* [wiki:Arrays]
* [wiki:Pointers]
* [wiki:MessagePassing]
* [wiki:OmnibusChanges]
* [wiki:LanguageSubset]
* [wiki:Examples]

=== Thoughts about the CIVL-C language ===

* It might be nice to introduce some convenience constructs that are syntactic sugar for commonly occurring patterns.  For example, something like "$proc p = $run stmt" which is short for declaring a temporary procedure with body stmt and spawning that procedure.  Also, something like "$waitall($proc procs[], int numProcs);" (that one can be defined as a library function).

== Meetings ==

* [wiki:CIVLmeeting2013]

== Tool Development==

* [wiki:IdeasForPerformance]
* [wiki:"Coding Standards"]
* [wiki:"Coding Standards for CIVL models"]
* [wiki:Comparison]
* [wiki:Transformers]
* [wiki:MPITransformation]
* [wiki:OpenMPTransformation]

== Latest Release ==

Junit reports, download:
[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]

== Other Links ==
* [wiki:PaperReading]