tree 3bfbc0f48b26c38194fb20ab766fe3427b60ec03
parent 1aa3e1ec67f90ac33534dccd9dd9b0b497af46af
author Davide Pesavento <davide.pesavento@lip6.fr> 1475879196 +0200
committer Alex Afanasyev <aa@cs.ucla.edu> 1476215954 -0700

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

Change-Id: Id0100a5ef14236f7e1d1f181af233e44bde3c1a2
Refs: #3599