-
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)
1ffc8925