From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9741d8c9cef792de
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-03-28 07:27:49 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!newsfeed.r-kom.de!news.m-online.net!news-FFM2.ecrc.net!news.iks-jena.de!not-for-mail
From: Lutz Donnerhacke <lutz@iks-jena.de>
Newsgroups: comp.lang.ada
Subject: Re: [Spark] Some Linux tools
Date: Fri, 28 Mar 2003 15:27:48 +0000 (UTC)
Organization: IKS GmbH Jena
Message-ID: <slrnb88qfg.oi.lutz@taranis.iks-jena.de>
References: <slrnb7mhmi.nu.lutz@taranis.iks-jena.de>
 <slrnb7u4b3.o1.lutz@taranis.iks-jena.de>
 <cf2c6063.0303271003.1bdac074@posting.google.com>
 <slrnb88die.oi.lutz@taranis.iks-jena.de>
NNTP-Posting-Host: taranis.iks-jena.de
X-Trace: branwen.iks-jena.de 1048865268 31629 217.17.192.37 (28 Mar 2003
 15:27:48 GMT)
X-Complaints-To: usenet@iks-jena.de
NNTP-Posting-Date: Fri, 28 Mar 2003 15:27:48 +0000 (UTC)
User-Agent: slrn/0.9.7.4 (Linux)
Xref: archiver1.google.com comp.lang.ada:35792
Date: 2003-03-28T15:27:48+00:00
List-Id: <comp.lang.ada>

* 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.