fred-dbg / fred
☆21Updated 9 years ago
Related projects: ⓘ
- C++11 library for many-sorted logics☆40Updated 7 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆32Updated 9 years ago
- LLVM Assembler adding Debug Information at IR Level.☆31Updated 5 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆18Updated 10 years ago
- a tool for querying Dwarf (debuginfo) graphs☆53Updated 4 months ago
- Efficient and customisable compression of short strings☆49Updated 8 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- I-cache line packing and branch misprediction measuring tool☆17Updated 7 years ago
- RLU resizable hash-table☆16Updated 9 years ago
- Turn an interpreter into a code generator☆29Updated 8 years ago
- Experimental results of the strata project☆9Updated 8 years ago
- Software Transactional Objects☆20Updated 6 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Updated 9 years ago
- A program for automatically resolving #ifdef statements in C code.☆34Updated last year
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- Production Performance Telemetry☆21Updated 3 years ago
- Scrypt opencl kernel written in AMD GCN ISA assembly language☆20Updated 9 years ago
- Automatic regression verification for LLVM programs☆19Updated 3 years ago
- reverse engineering branch predictors☆17Updated 8 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 8 years ago
- Floating-Point Scalar Evolution☆12Updated 5 years ago
- Design space for LLVM/Clang work☆45Updated 12 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 10 years ago
- ☆24Updated 4 years ago
- A complete, production-quality Java parser for the SQL language.☆10Updated 10 years ago
- A small DFA for under 16 states☆52Updated 6 years ago
- Bring mdb walkers to gdb, also add other helpful commands.☆33Updated last month
- Python bindings for libgccjit.so☆48Updated 8 years ago
- Meld virtual machine.☆29Updated 8 years ago
- Fuzzer and benchmarker for UTF-8 validators☆12Updated 4 years ago