Re: [Spark] Some Linux tools

[Lutz Donnerhacke <lutz@iks-jena.de>]

* Lutz Donnerhacke wrote:
> In order to considerably speed up the simplifier/checker process, it's worth
> to check hashs over the examiner generated files. This may render several
> simplifier/checker calls unnecessary due to unmodified preconditions.

Done.

sparksimp.pl now uses a *.hash file containing the hash over *.{vcg,fdl,rls}
in order to check if the simplifier has to be run or if touching the *.siv
file is equivalent.

If you do not logically modify a function, the simplifier will not be run
for this function, even if you modify other functions in the same file.