Translator for LLVM IR to CPROVER IR (goto-programs)

A new (MLIR based) high-level IR for clang.

Code examples for tutoring modern C++

This repo is a mirror of upstream https://github.com/llvm/llvm-project . Every three hours the main branch is mirrored from upstream. Please do not create pull requests on main, use branch amd-trun…

HIP: C++ Heterogeneous-Compute Interface for Portability

Translator for LLVM IR to CPROVER IR (goto-programs)

AOMP is an open source Clang/LLVM based compiler with added support for the OpenMP® API on Radeon™ GPUs. Use this repository for releases, issues, documentation, packaging, and examples.

Main gperftools repository