== CIVL Developer Dashboard ==

||= Module =||= Source =||= JUnit =||= Coverage =||= Javadoc =||
||= SARL =|| [https://vsl.cis.udel.edu/trac/civl/browser/CIVL/trunk/mods/dev.civl.sarl Source] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/sarl/junit JUnit] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/sarl/coverage Coverage] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/sarl/javadoc Javadoc] ||
||= GMC =|| [https://vsl.cis.udel.edu/trac/civl/browser/CIVL/trunk/mods/dev.civl.gmc Source] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/gmc/junit JUnit] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/gmc/coverage Coverage] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/gmc/javadoc Javadoc] ||
||= ABC =|| [https://vsl.cis.udel.edu/trac/civl/browser/CIVL/trunk/mods/dev.civl.abc Source] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/abc/junit JUnit] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/abc/coverage Coverage] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/abc/javadoc Javadoc] ||
||= MC =|| [https://vsl.cis.udel.edu/trac/civl/browser/CIVL/trunk/mods/dev.civl.mc Source] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/mc/junit JUnit] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/mc/coverage Coverage] || [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest/mods/mc/javadoc Javadoc] ||

== Useful Links ==

* [http://vsl.cis.udel.edu/lib/sw/civl/trunk/latest Latest Unstable Release]
* [http://vsl.cis.udel.edu/lib/sw/civl All Releases]
* [wiki:WikiStart] User Page
* [wiki:PFG] Parallel Flow Graph low-level IR
* [wiki:PIL] Parallel Intermediate Language high-level IR

== Tool Development ==
- [wiki:"Be a CIVL developer"]
- How To
   * [wiki:"Add a command line option"]
- 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:FortranOverview]
   * [wiki:FortranTransformations]
   * [wiki:FortranTranslationIssues]
- CUDA Translation
   * [[wiki:Implementation_of_CUDA_in_CIVL|Implementation of CUDA in CIVL]]
   * [[wiki:Notes_on_CUDA_Semantics|Notes on CUDA Semantics]]
- 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:Next-GenOpenMPTransformation]: another project with different approaches for translating OpenMP to CIVL.
   * [wiki:OpenCLTransformation]: translates OpenCL to CIVL.
- CIVL pragma: [wiki:CIVLPragmas]
- GUI
   * [wiki:GUIRequirements]
   * [wiki:GUIDesign]
   * [wiki:TraceViewer]
- [wiki:CIVLite]


== Related Tools ==

These are links to wiki-pages or official sites of tools used by CIVL
- [wiki:ABC]
- [wiki:GMC]
- [wiki:SARL]
- Z3 (https://github.com/Z3Prover/z3/wiki)
- CVC4 (http://cvc4.cs.stanford.edu/web/)
- Why3 (http://why3.lri.fr/)
- Frama-C (https://frama-c.com/)

== 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]
* [wiki:CIVL-C Wishlist]

== Deprecated Pages ==

Pages are going to be deleted.
* [wiki:Insieme]
* [wiki:BattleOfTheDialects]
* [wiki:2018_06_28] Control Flow Graph
* [wiki:2018_07_05] C Implementation of Naive Decision Tree
* [wiki:IntDivOperations]
* [wiki:Changes2023]
* [wiki:IR] : CIVL-IR (old)
* [wiki:IR2] : CIVL-IR (new)
* [wiki:LAST]: Low-level AST
* [wiki:DataStructures]
* [wiki:Arrays]
* [wiki:Pointers]
* [wiki:Choose]
* [wiki:MessagePassing]
* [wiki:OmnibusChanges]
* [wiki:ContractReduction]
* [wiki:VerificationWithContracts]
* [wiki:CommonHelperFunctionsForDifferentParallelLanguage]