Explore projects

Wrap the external JGraphT (http://jgrapht.org) library and provide a generic graph model (IGraph) with adapter mechanism and dynamic dependency injection. IGraph implements a set of the most common graph operations.

Provide various tools

GeCoS Testing Framework provides an annotation-based testing framework for source-to-source transformations. This framework, built on top of JUnit4 and JUnit-dataprovider, enables a very simple and rapid way to specify integration tests.

Provide build/deploy related scripts and configuration. It is used as submodules by other gecos projects.

this is the code related to TimeSquare (http://timesquare.inria.fr)

Alpha language includes the core language, its parser, and editor based on Xtext.

JNI Mapping DSL (Xtext-based).

Java Native Interface (JNI) Bindings of the external ISL (http://isl.gforge.inria.fr/) library.

A simple program to test information extract on different tools

Headwork project

Experimental developments for Corese.

AcGuard is android an application for users to help them against malicious apps that are attacking the passwords using the accessibility service.

AcFixer is a tool to fix the privacy code smells regarding accessibility service in android projects.

Development of methods and algorithms to mine "interesting" numerical rules from datasets containing numerical and symbolic attributes.

Provides the GeCoS Polyhedral model' SCoP IR and toolflow (scop extraction from C code, various polyhedral transformations, code generation, etc.)

This project provide some floating-point to fixed-point conversion tools such as Accuracy analysis, Dynamic range propagation, code generation etc.