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