-
Alexandre Duret-Lutz authored
(tgba_explicit::create_transition(state*, const state*)): New function. * src/tgbaalgos/randomgraph.cc, src/tgbaalgos/randomgraph.hh: (random_graph): Revamp the algorithm to call rand() less often. * src/tgbatest/randtgba.cc: Add option -0 to easy profiling.
688587d7
To find the state of this project's repository at the time of any of these versions, check out the tags.