Automatic verification of LLVM optimizations
-
Updated
Jun 13, 2024 - C++
Automatic verification of LLVM optimizations
a webassembly wasm decompiler and Static Analysis Framework based on llvm IR. (Work In Progress)
The Lily programming language ⚜
cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
Machine independent passes to optimise LLVM intermediate representation.
A simplistic stack-based programming language inspired by Factor with a compiler or interpreter (haven't decided yet) written in rust
A work-in-progress compiled programming language written in Rust
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
Toy object-oriented programming language with LLVM backend
A collection of out-of-tree LLVM passes for teaching and learning
This repository will contain the implementation and explanation of my master's thesis at the Faculty of Mathematics within the University of Belgrade.
Add a description, image, and links to the llvm-ir topic page so that developers can more easily learn about it.
To associate your repository with the llvm-ir topic, visit your repo's landing page and select "manage topics."