john-tornblom / llvm-p86Links
A compiler and mutation testing framework for the programming language Pascal-86
☆20Updated 11 years ago
Alternatives and similar repositories for llvm-p86
Users that are interested in llvm-p86 are comparing it to the libraries listed below
Sorting:
- ☆21Updated 10 years ago
- Context switching for LLVM☆15Updated 14 years ago
- The Vist programming language☆14Updated 8 years ago
- A program for automatically resolving #ifdef statements in C code.☆37Updated 11 months ago
- Example usage of LLVM's C bindings☆36Updated 13 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆27Updated 11 years ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Fork of Adobe/Mozilla lightweight library for generating machine code from C++☆35Updated 15 years ago
- Automatic regression verification for LLVM programs☆19Updated 4 years ago
- Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.☆26Updated 8 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- The GNU Superoptimizer☆27Updated 11 years ago
- Sequence data structure with efficient random access insert and erase☆13Updated 2 years ago
- A "port" of plucid that works on OS X☆12Updated 11 years ago
- An experimental method JIT for CPython 3☆29Updated 9 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 3 years ago
- A newfound treasure; a lightweight Foundation library for Linux.☆27Updated 17 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- Parser for the llvm bitcode format☆59Updated this week
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 3 years ago
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- T1 Documentation☆11Updated 6 years ago
- Migrated to Codeberg☆11Updated 2 years ago
- resurrected LLVM "C Backend", with improvements☆131Updated 5 years ago
- Compiler intermediate language for static analysis.☆107Updated 6 years ago
- Liveness-driven random C code generator☆42Updated 2 months ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- An LLVM IR Editor plugin for Eclipse☆52Updated 11 years ago