Explore projects

THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications

Public repository for the code used in HyFN experiments

This project contains the benchmarks used during CRV 14.

From https://github.com/milaboratory/mixcr

Test project: Integration Jenkins with GitLab

GeCoS Framework provides the compiler runtime application, extension mechanisms such as compiler modules as well as the GeCoS compiler script (.cs) editor.

GeCoS core provides the core IR model (CDFG), C Front-end, C code generator as well as a set of generic code analysis and transformations and other utils.

The Demonstration repository for THEMIS

Wrap the TOM language SDK (http://tom.loria.fr) and its eclipse IDE integration

Define a Xtext-based DSL for easily generating TOM mappings for Ecore/Xcore models

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.