sheredom / fpscev
Floating-Point Scalar Evolution
☆12Updated 5 years ago
Alternatives and similar repositories for fpscev:
Users that are interested in fpscev are comparing it to the libraries listed below
- Lace - implementation of work-stealing in C☆35Updated 11 months ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Ninja-based configuration system☆11Updated 4 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- ☆27Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- manipulate LLVM IR files☆32Updated 9 years ago
- Partial Redundancy Elimination Pass in LLVM☆13Updated 5 years ago
- DExTer - Debug Experience Tester☆33Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Intriman is a documentation generator that retargets the Intel Intrinsics Guide to other documentation formats☆28Updated 2 years ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago
- GNU Superoptimizer Version 2☆26Updated 3 years ago
- Fine-grained frequency and voltage transition tests☆19Updated last year
- Liveness-driven random C code generator☆41Updated 9 months ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- autotuning C++, just-in-time!☆51Updated 5 years ago
- Clone of http://nsz.repo.hu/git/?p=c-standard☆23Updated 5 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago
- A standard for floating point accuracy benchmarks☆49Updated 2 weeks ago
- Automatic Binary Parallelisation☆42Updated last month
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 weeks ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 10 years ago