Explore projects
-
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 -
verimag / synchrone / sasa
CeCILL Free Software License Agreement v2.1Self-stabilizing Algorithms SimulAtor
Updated -
verimag / synchrone / lutin
CeCILL Free Software License Agreement v2.1Updated -
verimag / synchrone / lustre-v6
CeCILL Free Software License Agreement v2.1Lustre V6 compiler
Updated -
-
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated