compiler-testing

There are 0 repository under compiler-testing topic.

• agroce / afl-compiler-fuzzer

  Variation of american fuzzy lop for testing compilers

  aflafl-fuzzcompiler-testingfuzzingfuzzing-compilers
  Language:C 110

• 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.

  computer-graphicsdemoc-plus-pluscompiler-torturecompiler-testingray-tracing
  Language:C++ 90

• jmid / efftester

  Effect-Driven Compiler Tester for OCaml

  quickcheckproperty-based-testingocamlcompiler-testing
  Language:OCaml 38

• shafiul / slemi

  SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)

  simulinkemicompiler-testingbug-findingequivalence-modulo-inputs
  Language:MATLAB 9

• BerkeleyLab / flang-testing-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."

  compiler-testingfortranfortran2008fortran2018
  4

• SpinSpinSugar / riscv-check

  Small test project to analyse RISC-V bitmanip extension

  bitmanipbitmanipulationcodegencodegenerationcompilercompiler-testingrisc-vriscvtesting-frameworktesting-toolstestsextensionsriscv-assembly
  Language:Python 1

• CyEMI / slsf_randgen

  EMI-based Validation of Commercial Cyber-Physical System Development Tool Chains (e.g. MATLAB/Simulink)

  emisimulinkcompiler-testingautomated-testingtest-generationmatlab
  Language:MATLAB 0

• ascopes / katana-old

  A project aiming to provide Java 11-compatible annotation processors for an array of different code-generation facilities.

  javaannotation-processingannotation-processorcodegencompiler-testing
  Language:Kotlin