| 1 | # Developer Guide
|
|---|
| 2 |
|
|---|
| 3 | ## CIVL Developer Dashboard
|
|---|
| 4 |
|
|---|
| 5 | | Module | Source | JUnit | Coverage | Javadoc |
|
|---|
| 6 | |--------|--------|-------|----------|---------|
|
|---|
| 7 | | SARL | [Source](https://vsl.cis.udel.edu/trac/civl/browser/CIVL/mods/dev.civl.sarl) | [JUnit](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/sarl/junit) | [Coverage](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/sarl/coverage) | [Javadoc](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/sarl/javadoc) |
|
|---|
| 8 | | GMC | [Source](https://vsl.cis.udel.edu/trac/civl/browser/CIVL/mods/dev.civl.gmc) | [JUnit](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/gmc/junit) | [Coverage](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/gmc/coverage) | [Javadoc](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/gmc/javadoc) |
|
|---|
| 9 | | ABC | [Source](https://vsl.cis.udel.edu/trac/civl/browser/CIVL/mods/dev.civl.abc) | [JUnit](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/abc/junit) | [Coverage](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/abc/coverage) | [Javadoc](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/abc/javadoc) |
|
|---|
| 10 | | MC | [Source](https://vsl.cis.udel.edu/trac/civl/browser/CIVL/mods/dev.civl.mc) | [JUnit](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/mc/junit) | [Coverage](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/mc/coverage) | [Javadoc](http://vsl.cis.udel.edu/lib/sw/civl/main/latest/mods/mc/javadoc) |
|
|---|
| 11 |
|
|---|
| 12 | ## Useful Links
|
|---|
| 13 |
|
|---|
| 14 | * [Latest Main Branch Report](https://vsl.cis.udel.edu/lib/sw/civl/main/latest/)
|
|---|
| 15 | * [All Main Branch Reports](https://vsl.cis.udel.edu/lib/sw/civl/main/)
|
|---|
| 16 | * [All Branch Reports](https://vsl.cis.udel.edu/lib/sw/civl/)
|
|---|
| 17 | * [User Page](../index.md)
|
|---|
| 18 | * [wiki:PFG] Parallel Flow Graph low-level IR
|
|---|
| 19 | * [PIL: Parallel Intermediate Language high-level IR](pil.md)
|
|---|
| 20 |
|
|---|
| 21 | ## Tool Development
|
|---|
| 22 | * [wiki:"Be a CIVL developer"]
|
|---|
| 23 | * How To
|
|---|
| 24 | * [wiki:"Add a command line option"]
|
|---|
| 25 | * Analysis
|
|---|
| 26 | * [wiki:Overview]
|
|---|
| 27 | * [wiki:MemoryAnalysis]
|
|---|
| 28 | * [wiki:PointsToAnalysis]
|
|---|
| 29 | * [wiki:AliasAnalysis]
|
|---|
| 30 | * Performance
|
|---|
| 31 | * [wiki:IdeasForPerformance]
|
|---|
| 32 | * [wiki:HeapCanonicalization]
|
|---|
| 33 | * [wiki:PolynomialExpansion]
|
|---|
| 34 | * Coding standards
|
|---|
| 35 | * [wiki:"Coding Standards"]
|
|---|
| 36 | * [wiki:"Coding Standards for CIVL models"]
|
|---|
| 37 | * Comparison
|
|---|
| 38 | * [wiki:Comparison]
|
|---|
| 39 | * Fortran Translation
|
|---|
| 40 | * [wiki:FortranOverview]
|
|---|
| 41 | * [wiki:FortranTransformations]
|
|---|
| 42 | * [wiki:FortranTranslationIssues]
|
|---|
| 43 | * CUDA Translation
|
|---|
| 44 | * [[wiki:Implementation_of_CUDA_in_CIVL|Implementation of CUDA in CIVL]]
|
|---|
| 45 | * [[wiki:Notes_on_CUDA_Semantics|Notes on CUDA Semantics]]
|
|---|
| 46 | * Transformers
|
|---|
| 47 | * [wiki:GeneralTransformation]: translates away arguments of main.
|
|---|
| 48 | * [wiki:IOTransformation]: translates stdio.h-related code to fit CIVL's stdio implementation.
|
|---|
| 49 | * [wiki:MPITransformation]: translates MPI to CIVL.
|
|---|
| 50 | * [wiki:PthreadTransformation]: translates Pthread code to CIVL code.
|
|---|
| 51 | * [wiki:OpenMPTransformation]: translates OpenMP to CIVL.
|
|---|
| 52 | * [wiki:Next-GenOpenMPTransformation]: another project with different approaches for translating OpenMP to CIVL.
|
|---|
| 53 | * [wiki:OpenCLTransformation]: translates OpenCL to CIVL.
|
|---|
| 54 | * CIVL pragma: [wiki:CIVLPragmas]
|
|---|
| 55 | * GUI
|
|---|
| 56 | * [wiki:GUIRequirements]
|
|---|
| 57 | * [wiki:GUIDesign]
|
|---|
| 58 | * [wiki:TraceViewer]
|
|---|
| 59 | * [wiki:CIVLite]
|
|---|
| 60 |
|
|---|
| 61 |
|
|---|
| 62 | ## Related Tools
|
|---|
| 63 |
|
|---|
| 64 | These are links to wiki-pages or official sites of tools used by CIVL
|
|---|
| 65 | * [wiki:ABC]
|
|---|
| 66 | * [wiki:GMC]
|
|---|
| 67 | * [wiki:SARL]
|
|---|
| 68 | * Z3 (https://github.com/Z3Prover/z3/wiki)
|
|---|
| 69 | * CVC4 (http://cvc4.cs.stanford.edu/web/)
|
|---|
| 70 | * Why3 (http://why3.lri.fr/)
|
|---|
| 71 | * Frama-C (https://frama-c.com/)
|
|---|
| 72 |
|
|---|
| 73 | ## Other Links
|
|---|
| 74 | * Paper reading:
|
|---|
| 75 | * Sources <https://vsl.cis.udel.edu/readings.html>
|
|---|
| 76 | * Schedule <https://docs.google.com/spreadsheet/ccc?key=0AvyY9XPxT2MVdFJzMThfWVdGZFpsYkNCcEJzUGdyYWc#gid=0>
|
|---|
| 77 | * [wiki:Conferences]
|
|---|
| 78 | * [wiki:CIVL-C Wishlist]
|
|---|
| 79 |
|
|---|
| 80 | ## Deprecated Pages
|
|---|
| 81 |
|
|---|
| 82 | Pages are going to be deleted.
|
|---|
| 83 |
|
|---|
| 84 | * [wiki:Insieme]
|
|---|
| 85 | * [wiki:BattleOfTheDialects]
|
|---|
| 86 | * [wiki:2018_06_28] Control Flow Graph
|
|---|
| 87 | * [wiki:2018_07_05] C Implementation of Naive Decision Tree
|
|---|
| 88 | * [wiki:IntDivOperations]
|
|---|
| 89 | * [wiki:Changes2023]
|
|---|
| 90 | * [wiki:IR] : CIVL-IR (old)
|
|---|
| 91 | * [wiki:IR2] : CIVL-IR (new)
|
|---|
| 92 | * [wiki:LAST]: Low-level AST
|
|---|
| 93 | * [wiki:DataStructures]
|
|---|
| 94 | * [wiki:Arrays]
|
|---|
| 95 | * [wiki:Pointers]
|
|---|
| 96 | * [wiki:Choose]
|
|---|
| 97 | * [wiki:MessagePassing]
|
|---|
| 98 | * [wiki:OmnibusChanges]
|
|---|
| 99 | * [wiki:ContractReduction]
|
|---|
| 100 | * [wiki:VerificationWithContracts]
|
|---|
| 101 | * [wiki:CommonHelperFunctionsForDifferentParallelLanguage]
|
|---|
