Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Centralize definitions for the name of environment variables used by the MC.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 30 Mar 2023 12:58:09 +0000 (14:58 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 5 Apr 2023 20:13:28 +0000 (22:13 +0200)
commit967d9394b584d0ccc87d801d96d4d240f4555187
tree652e63a8304f5e50691d996c22fede2064d88e8b
parent7fcf716d96f17793b4e132efcd7886c2c476bdda
Centralize definitions for the name of environment variables used by the MC.
MANIFEST.in
src/mc/explo/Exploration.cpp
src/mc/mc_environ.h [new file with mode: 0644]
src/mc/remote/AppSide.cpp
src/mc/remote/CheckerSide.cpp
src/xbt/mmalloc/mm_legacy.c
src/xbt/mmalloc/mmalloc.h
tools/cmake/DefinePackages.cmake