• Alexandre Duret-Lutz's avatar
    * src/tgba/tgbaexplicit.cc, src/tgba/tgbaexplicit.hh · 688587d7
    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.
To find the state of this project's repository at the time of any of these versions, check out the tags.