Topic: "compiler-testing"
agroce/afl-compiler-fuzzer
Variation of american fuzzy lop for testing compilers
Language: C - Size: 1.38 MB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 123 - Forks: 13
phresnel/metatrace
metatrace is a C++ Compile Time, Whitted Style Ray Tracer, utilizing classic C++98/03 style metaprogramming. All the Ray Tracing is done during compilation.
Language: C++ - Size: 53.7 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 86 - Forks: 4
jmid/efftester
Effect-Driven Compiler Tester for OCaml
Language: OCaml - Size: 29.3 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 38 - Forks: 5
shafiul/slemi
SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)
Language: MATLAB - Size: 17.9 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 9 - Forks: 2
BerkeleyLab/flang-testing-project Fork of llvm/llvm-project
The Berkeley Lab Flang team develops tests for the LLVM-Project Flang Fortran compiler. Because of the paramount importance of parallelism in high-performance computing, we are focusing on Fortran’s parallel features, commonly denoted "Coarray Fortran."
Language: LLVM - Size: 1.52 GB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 4 - Forks: 3
SpinSpinSugar/riscv-check
Small test project to analyse RISC-V bitmanip extension
Language: Python - Size: 50.8 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
starbugs-qurong/GeProG
GeProG: A General Program Generation Tool for Compiler Testing
Language: ANTLR - Size: 1.79 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
ascopes/katana-old 📦
A project aiming to provide Java 11-compatible annotation processors for an array of different code-generation facilities.
Language: Kotlin - Size: 1.43 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
