CIVL Developer Dashboard
| Module | Source | JUnit | Coverage | Javadoc |
|---|---|---|---|---|
| SARL | Source | JUnit | Coverage | Javadoc |
| GMC | Source | JUnit | Coverage | Javadoc |
| ABC | Source | JUnit | Coverage | Javadoc |
| MC | Source | JUnit | Coverage | Javadoc |
Useful Links
- Latest Unstable Release
- All Releases
- WikiStart User Page
- PFG Parallel Flow Graph low-level IR
- PIL Parallel Intermediate Language high-level IR
Tool Development
- Be a CIVL developer
- How To
- Analysis
- Performance
- Coding standards
- Comparison
- Fortran Translation
- CUDA Translation
- Transformers
- GeneralTransformation: translates away arguments of main.
- IOTransformation: translates stdio.h-related code to fit CIVL's stdio implementation.
- MPITransformation: translates MPI to CIVL.
- PthreadTransformation: translates Pthread code to CIVL code.
- OpenMPTransformation: translates OpenMP to CIVL.
- Next-GenOpenMPTransformation: another project with different approaches for translating OpenMP to CIVL.
- OpenCLTransformation: translates OpenCL to CIVL.
- CIVL pragma: CIVLPragmas
- GUI
- CIVLite
Related Tools
These are links to wiki-pages or official sites of tools used by CIVL
- ABC
- GMC
- 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:
- Conferences
- Wishlist
Deprecated Pages
Pages are going to be deleted.
- Insieme
- BattleOfTheDialects
- 2018_06_28 Control Flow Graph
- 2018_07_05 C Implementation of Naive Decision Tree
- IntDivOperations
- Changes2023
- IR : CIVL-IR (old)
- IR2 : CIVL-IR (new)
- LAST: Low-level AST
- DataStructures
- Arrays
- Pointers
- Choose
- MessagePassing
- OmnibusChanges
- ContractReduction
- VerificationWithContracts
- CommonHelperFunctionsForDifferentParallelLanguage
Last modified
20 months ago
Last modified on 10/02/24 20:54:35
Note:
See TracWiki
for help on using the wiki.
