Pinned Repositories
divine
DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.
vast
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
advent-of-code
codeql-uboot
diploma-thesis
lart
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
miller
VAST MLIR Abstract Interpreter
pb173_project
pv021_project
thesis-proposal
xlauko's Repositories
xlauko/lart
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting programs are normal, concrete LLVM programs that can be executed and analyzed.
xlauko/advent-of-code
xlauko/codeql-uboot
xlauko/miller
VAST MLIR Abstract Interpreter
xlauko/actions-playground
xlauko/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
xlauko/clangir
A new (MLIR based) high-level IR for clang.
xlauko/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
xlauko/compiler-workflows
Workflows to build daily and ad hoc compilers for Compiler Explorer
xlauko/cpp-linter-action
Lint C/C++ code with clang-format and clang-tidy then post annotations, comments, and step summary with results.
xlauko/dyn-dialect
A repository to test dialects defined dynamically.
xlauko/get-cmake
Install and Cache latest CMake and ninja executables for your workflows on your GitHub
xlauko/hdb
xlauko/infra
Infrastructure to set up the public Compiler Explorer instances and compilers
xlauko/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
xlauko/llvm-sc
Single Context LLVM Library
xlauko/misc-builder
xlauko/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
xlauko/pymlir
Python interface for MLIR - the Multi-Level Intermediate Representation
xlauko/range-v3
Range library for C++14/17/20, basis for C++20's std::ranges
xlauko/reple
"Replay-based" REPLs for compiled languages.
xlauko/reveal.js
The HTML Presentation Framework
xlauko/run-cmake-vcpkg-action-libs
CMake and vcpkg wrappers, used to implement both Azure DevOps tasks and GitHub actions
xlauko/run-vcpkg
GitHub Action to automatically cache and setup vcpkg to build C++ dependencies for your C++ based applications.
xlauko/sv-benchmarks
Collection of Verification Tasks
xlauko/SVF
Static Value-Flow Analysis Framework for Source Code
xlauko/uiua
A stack-based array programming language
xlauko/vscode-cmake-tools
CMake integration in Visual Studio Code
xlauko/xlauko.github.io
xlauko/z3
The Z3 Theorem Prover