shapes are now read in parallel as the session. We could now remove check-sums from session in a near future, providing we can compute check-sum of a while set of files, or of individual file, or individual sessions (the latter more likely).
shapes are now read in parallel as the session. We could now remove
check-sums from session in a near future, providing we can compute
check-sum of a while set of files, or of individual file,
or individual sessions (the latter more likely).

ssaavedra/why3,ssaavedra/why3,ssaavedra/why3