Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename option "surf/precision" to "precision/timing" for clarity.
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 16 Feb 2023 22:44:37 +0000 (23:44 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 17 Feb 2023 07:30:13 +0000 (08:30 +0100)
commit1ea2d193d35be7639d7653d150084773a61a9eb3
tree64abb1e92b2e8f7c57c8ae02d0e45bef823bbdf8
parent76a0df97ebdbc98eb6700edf89c7fea3d9d60e24
Rename option "surf/precision" to "precision/timing" for clarity.
ChangeLog
docs/source/Configuring_SimGrid.rst
src/kernel/lmm/System.cpp
src/simgrid/sg_config.cpp