Make session files more robust on changes
The session file why3session.xml contains
-
checksums of theories
-
provers indexed by more or less random numbers
-
We could remove the theory checksum because not useful anymore. It was there before because
- sometimes the shapes files are not recorded (e.g. under git)
- the why3session tools was reloading both sessions and sources, and was then merging, so as to detect obsolete goals
in new_ide, why3session does not reload the sources anymore, and just considers the obsolete status stored in session file
- has always been annoying, introducing lots of uninteresting diffs in sessions files stored under git