• François Bobot's avatar
    Add some Thread.create, GtkThread.sync or async : · 1ffc8925
    François Bobot authored
    Execute modifications of the gui or accesses to
    the database inside the thread of gtk using GtkThread.sync or async
    Everything else is inside another thread
    (yes also the access to the model...).
    Don't add proof attempt one by one (one lock each time)
    Scheduler : the proof_attempt are added 8 by 8 (if max_running_provers is 2)
bench.ml 3.4 KB