Explore projects
-
Benjamin Bonneau / smonad
MIT LicenseUpdated -
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated -
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated -
-
verimag / synchrone / lustre-v6
CeCILL Free Software License Agreement v2.1Lustre V6 compiler
Updated -
verimag / synchrone / lutin
CeCILL Free Software License Agreement v2.1Updated -
verimag / synchrone / sasa
CeCILL Free Software License Agreement v2.1Self-stabilizing Algorithms SimulAtor
Updated -
The objective of run-bench is to measure the execution time of a set of tools (e.g., compilers) and tool options on several data files (e.g., programs).
Updated -
Updated
-
prdistrib / tagada
CeCILL Free Software License Agreement v2.1A tool for generating random task DAGs
Updated -
verimag / synchrone / lutils
CeCILL Free Software License Agreement v2.1Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Updated -
verimag / synchrone / rdbg
CeCILL Free Software License Agreement v2.1RDBG stands for Reactive programs DeBuGger.
Its a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages).
Updated -
CertiCompil / CompCert-KVX
GNU Lesser General Public License v2.1 onlyA version of CompCert with
extra optimization a backend for the Kalray KVX coreUpdated -
verimag / reproducible-research / LRA4w7
CeCILL Free Software License Agreement v2.1Reproduce the experimental results of an article under submission (at the LITES journal) named :
''Improving WCET Evaluation using Counters and Linear Relation Analysis''
Updated -
-
CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or laterUpdated -
Yliès Falcone / DecentMon
GNU General Public License v2.0 or laterDecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae
Updated -
NSBAS / FFTW
GNU General Public License v2.0 or laterUpdated -
verimag / reproducible-research / sasartifact
CeCILL Free Software License Agreement v2.1Reproduce experiments done in sasa related articles
Updated