Explore projects
-
The experiment of this project has been moved into the osim-lutin project inside the verimag/reproducible-research/ group
Updated -
Reproduce the experimental results of an article currently under submission
"Assessing Software Abstractions inWCET Analysis of Reactive Programs"
Updated -
Updated
-
An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.
Updated -
An Ocaml implementation of the Turing Machine Constructions that have been described in many books but never implemented.
Updated -
-
Updated
-
Reproduce experiments done in sasa related articles
Updated -
Updated
-
DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae
Updated -
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 -
A version of CompCert with
extra optimization a backend for the Kalray KVX coreUpdated -
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 -
Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg).
Updated -
-
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