The goal of this project is to give a complete executable semantics to the LLVM assembly language (LLVM IR). The language is being defined in the K Semantic Framework (version 2.6-2.7).
davidlazar / llvm-semantics
Licence: other
Formal semantics of LLVM IR in K
Stars: ✭ 42
Programming Languages
LLVM
166 projects
Projects that are alternatives of or similar to llvm-semantics
TinyCompiler
c compiler based on flex(lex), bison(yacc) and LLVM, supports LLVM IR and obj code generation. 基于flex，bison以及LLVM，使用c++11实现的类C语法编译器, 支持生成中间代码及可执行文件.
Stars: ✭ 162 (+285.71%)
Mutual labels: llvm, llvm-ir
doc
Design documents related to the decompilation pipeline.
Stars: ✭ 23 (-45.24%)
Mutual labels: llvm, llvm-ir
llvm-kaleidoscope
LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)
Stars: ✭ 124 (+195.24%)
Mutual labels: llvm, llvm-ir
Mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Stars: ✭ 2,198 (+5133.33%)
Mutual labels: llvm, llvm-ir
contech
The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmers to gain a deeper understanding of parallel programs.
Stars: ✭ 43 (+2.38%)
Mutual labels: research, llvm
llvm-brainfuck
Brainfuck compiler based on LLVM API
Stars: ✭ 27 (-35.71%)
Mutual labels: llvm, llvm-ir
bl
Simple imperative programming language created for fun.
Stars: ✭ 57 (+35.71%)
Mutual labels: llvm, llvm-ir
Awesome Llvm
A curated list of awesome LLVM related docs, tools, and other resources.
Stars: ✭ 184 (+338.1%)
Mutual labels: research, llvm
LLAST
A high level LLVM IR AST provider for GraphEngine JIT.
Stars: ✭ 21 (-50%)
Mutual labels: llvm, llvm-ir
path semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Stars: ✭ 136 (+223.81%)
Mutual labels: research
events
Materials related to events I might attend, and to talks I am giving
Stars: ✭ 22 (-47.62%)
Mutual labels: research
Recommendation-System-Baseline
Some common recommendation system baseline, with description and link.
Stars: ✭ 34 (-19.05%)
Mutual labels: research
llvm-compile-time-data
LLVM compile-time performance data over time.
Stars: ✭ 16 (-61.9%)
Mutual labels: llvm
AutomaticMixingPapers
Important papers and associated code on automatic mixing research
Stars: ✭ 75 (+78.57%)
Mutual labels: research
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].