allvm / allvm-tools
ALLVM Tools
☆55Updated 2 years ago
Related projects: ⓘ
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- A Gallina compiler with C++17 as an intermediate representation☆41Updated 3 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆30Updated 9 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆100Updated last week
- The Mickey Mouse of dynamic linkers☆14Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆38Updated last year
- The Termite driver synthesis tool☆30Updated 7 years ago
- A standard for floating point accuracy benchmarks☆43Updated last week
- DExTer - Debug Experience Tester☆33Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated 11 months ago
- rmem public repo☆40Updated last month
- Cerberus C semantics☆49Updated this week
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- LLVM Assembler adding Debug Information at IR Level.☆31Updated 5 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆65Updated 8 years ago
- Easy SMT solver interaction☆24Updated last month
- ☆39Updated this week
- dthreads: Efficient Deterministic Multithreading☆49Updated 9 years ago
- Linux kernel library functions formally verified.☆48Updated 3 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- ☆83Updated 2 years ago
- The LLVM Symbolic Simulator, part of SAW.☆21Updated 4 years ago
- ☆21Updated 9 years ago
- ☆49Updated 6 months ago
- Attribute grammar Based Language Extensions for C☆35Updated last week
- ☆87Updated 2 years ago
- Crellvm: Verified Credible Compilation for LLVM☆15Updated 6 years ago
- ☆16Updated 4 years ago
- Runtime support for LLVM's GC Statepoints☆42Updated 4 years ago
- Verification of BPF JIT compilers☆54Updated last year