Explore projects
-
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Updated -
-
Verimag's fork of CompCert
Updated -
-
-
-
RDBG 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 -
-
A version of CompCert with
extra optimization a backend for the Kalray KVX coreUpdated -
Updated
-
Reproduce the experimental results of an article under submission (at the LITES journal) named :
''Improving WCET Evaluation using Counters and Linear Relation Analysis''
Updated -
Updated
-
Updated
-
Reproduce experiments done in sasa related articles
Updated -
-
DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae
Updated -
An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.
Updated -
Updated
-
Updated