Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'random_readwritestate' into 'master'
authorYann Duplouy <duplouy@crans.org>
Mon, 27 Apr 2020 17:09:07 +0000 (19:09 +0200)
committerYann Duplouy <duplouy@crans.org>
Mon, 27 Apr 2020 17:09:07 +0000 (19:09 +0200)
[xbt/random] Read/Write the state of the RNG

See merge request simgrid/simgrid!36


Trivial merge