specs-feup/mutation-testing-v2

Stars
2
Language
Java
Created over 1 year ago
Updated 6 months ago

specs-feup/mutation-testing-v2

specs-feup

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

clava

C/C++ Source-to-Source Tool based on Clang

cacti

Compiler Analysis Tool

lara-framework

Tools and APIs to develop weavers for the LARA language (LARA Compiler, LARA Interpreter, Weaver Generator, etc...)

cacti_tests

Tests for CACTI

kadabra

Java Source-to-Source Tool based on LARA and Spoon

specs-hw

Hardware-related libraries and applications

PipesGraphLanguage

Domain Specific Language for connecting pipes

nonio

Tool for exploration of compiler flags

websites

Websites related to the SPeCS Laboratory

LAT-Lara-Autotuning-Tool

💽 C/C++ autotuning tool that follows the concept of ISAT implemented in LARA (AOP + javascript)

trace2c

Tool that extracts and transforms a graph representation of the runtime execution of an application, and generates restructured and optimized C code for High-Level Synthesis (HLS)

specs-java-libs

Java libraries created or extended (-Plus suffix) by SPeCS research group