• François Bobot's avatar
    session pairing: simplify and move session pairing. · e6f52504
    François Bobot authored
      session pairing doesn't compute anymore the shape of the goal, it is
     done before. It was able to compute the shape only when the checksum
     of the task was different, but computing the checksum of the task is
     way more time consuming than computing the shape of the goal (and
     include it).
    
     So this commit simplify greatly the function and theoretically
     augment just a little the time spent. Experimentaly it's the inverse
     on max_matrix. Until "update_session: done" with or without modifying
     the checksums:
    
                before     |   after
    without : 0.21-0.22 s  | 0.16-0.17 s
    with    : 0.23-0.26 s  | 0.18-0.20 s
    e6f52504
Name
Last commit
Last update
bench Loading commit data...
bin Loading commit data...
comparison Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
modules Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
META.in Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
configure.in Loading commit data...