• Etienne Renault's avatar
    random: Get rid of uniform_distribution (non-portable). · 734bceff
    Etienne Renault authored
    * src/misc/random.cc, src/misc/random.hh,
    src/tgbaalgos/randomgraph.cc, src/tgbatest/randaut.test,
    src/tgbatest/randomize.test, src/tgbatest/readsave.test,
    src/ltlvisit/simplify.cc, src/tgbaalgos/randomize.cc,
    src/graph/graph.hh, src/tgbatest/randpsl.test: here.
    734bceff