tree 568f19edea0867aa279431aae40ad915ec36b528
parent 89c4cca866712aee628a86782bcd850d3aeecd33
author Davide Pesavento <davide.pesavento@lip6.fr> 1475870949 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1478278574 +0100

core: use C++11 <random> instead of Boost.Random

Change-Id: I8f22965b86c681581762a47995f29f888421a558
Refs: #3599