Working in a compiler project using java
Verimag's fork of CompCert
A version of CompCert with
A skitz compiler, made to compile mincaml as a University project.
DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae
Reproduce the experimental results of an article under submission (at the LITES journal) named :
''Improving WCET Evaluation using Counters and Linear Relation Analysis''
Lustre V6 compiler
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Basic functions for OCaml codes
The experiment of this project has been moved into the osim-lutin project
inside the verimag/reproducible-research/ group
Reproduce the experimental results of an article currently under submission
"Assessing Software Abstractions inWCET Analysis of Reactive Programs"
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).
Self-stabilizing Algorithms SimulAtor
Reproduce experiments done in sasa related articles
A tool for generating random task DAGs