Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
bugfix in trace replay: cannot use split_in_place if only one trace file: memory...