periscop / candl
Data Dependence Analyzer in the Polyhedral Model
☆20Updated last year
Alternatives and similar repositories for candl:
Users that are interested in candl are comparing it to the libraries listed below
- Library to plot integer sets and maps☆49Updated 8 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆24Updated 2 years ago
- Chunky Loop Interaction☆24Updated 5 years ago
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆29Updated 9 months ago
- Python wrapper for isl, an integer set library☆77Updated this week
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆125Updated 2 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 2 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆109Updated last year
- development repository for the open earth compiler☆80Updated 4 years ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 5 years ago
- Integer Set Library (source repository: http://repo.or.cz/w/isl.git)☆70Updated 3 months ago
- MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.com☆38Updated last year
- CUDAAdvisor: a GPU profiling tool☆49Updated 6 years ago
- An MLIR frontend for tensor expressions☆25Updated 4 years ago
- GPUVerify: a Verifier for GPU Kernels☆62Updated 2 years ago
- ☆53Updated 5 years ago
- The CLooG Code Generator in the Polyhedral Model☆46Updated last year
- ☆29Updated 2 years ago
- The implementation of the Elevate language☆29Updated last month
- Updated C version of the Test Suite for Vectorising Compilers☆59Updated last year
- A minimal (really) out-of-tree MLIR example☆44Updated last week
- A unified framework across multiple programming platforms☆37Updated 10 months ago
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆111Updated 3 weeks ago
- An out-of-tree MLIR dialect template.☆102Updated 8 months ago
- A system for programming formally-verified loop transformations.☆16Updated 6 years ago
- Retargetable ML compilers for the twenty-first century!☆12Updated 2 weeks ago
- RV: A Unified Region Vectorizer for LLVM☆107Updated 3 months ago
- cuASR: CUDA Algebra for Semirings☆35Updated 2 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆134Updated 5 years ago