weliveindetail / DbgKaleidoscopeOrcJit
Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example
☆13Updated 7 years ago
Alternatives and similar repositories for DbgKaleidoscopeOrcJit:
Users that are interested in DbgKaleidoscopeOrcJit are comparing it to the libraries listed below
- Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…☆18Updated last year
- LLVM Assembler adding Debug Information at IR Level.☆32Updated 6 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 10 years ago
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 6 months ago
- LLVM Metadata Visualizer☆22Updated 7 years ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 4 years ago
- Parser for the llvm bitcode format☆60Updated last week
- Low-level IR mutations for LLVM Bitcode☆37Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- ☆13Updated 5 years ago
- Generation of mutant programs☆21Updated 6 years ago
- ☆16Updated 9 months ago
- Liveness-driven random C code generator☆41Updated 8 months ago
- A compiler and mutation testing framework for the programming language Pascal-86☆18Updated 10 years ago
- [PROJECT DISCONTINUED] See the newer https://github.com/AntonLydike/filecheck.☆20Updated 7 months ago
- An x86-64 instruction decoder.☆16Updated 11 months ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆32Updated 7 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆39Updated 2 years ago
- Linux kernel library functions formally verified.☆49Updated 4 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- The original timed regular expression matcher over temporal behaviors☆15Updated last year