1. 13 Dec, 2010 1 commit
  2. 06 Dec, 2010 1 commit
    • 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)
      1ffc8925
  3. 05 Dec, 2010 2 commits
    • François Bobot's avatar
      Call_prover : Str uses a shared reference... · d696f495
      François Bobot authored
      Scheduler : Schedule the call, precompute the
      buffer in advance.
      d696f495
    • François Bobot's avatar
      whybench : First try for a tool and an API for making bench · 1b799e39
      François Bobot authored
      The final goal is to compare provers, axiomatics and
      transformations on specified goals. We also want to have different output
      
      Bench.tool represents the provers, axiomatics or transformations that we
      want to compare.
      Bench.prob represents on what we want to compare them. The final task are
      generated from an environnement and possibly with transformations.
      
      Currently only provers can be compared.
      1b799e39