CBFalconer wrote:
> Scott Moore wrote:
>
>>CBFalconer wrote:
>>
>>>Scott Moore wrote:
>>>
>>>
>>>>IP Pascal just passed the Pascal Verification Suite. This is a
>>>>comprehensive set of tests that checks both if the compiler
>>>>handles all valid ISO 7185 Pascal statements, as well as rejects
>>>>invalid statements. It was created during the ISO 7185 standards
>>>>process in 1978 by A. Sale and B. Wichmann.
>>>
>>>Have you put that up for public access?
>>
>>The PUG newslettters appear at the address provided. The status of
>>the tests as far as distribution, I have no idea. The pug letters
>>talk about a getting a license, and paying a fee for the tests.
>>I suspect back then nobody had the ability to scan.
>
>
> I did that and used them, many moons ago at a PPOE. The generated
> re****t on PascalP is up on my site. That suite distribution is
> lost. I had hoped you had recaptured it from the PUGgery.
I did, but what I am telling you is that I don't feel free to distribute
that. You have the same starting materials as I had. I am trying to get
some kind of release from the authors, but it's not looking good.
Nice grandkids, by the way. It'll be a while till I see mine (hopefully
:-)
>
> ... snip ...
>
>>In the meantime, the scan format is online, the PUG newsletters
>>where widely and publically distributed, and you guys are smart,
>>I think you can figgure out what to do.
>
>
> No, recapturing things from those scans is far too hard and error
> prone. I took a look already.
>
I agree that it is hard. The biggest difficulty with it is that the format
is completely messed up, and that is because I, nor anyone else seems to
be able to find an OCR program that will output fixed format text in the
same format as it was on the paper.
However, Pascal does not care about the format the input is in, and it
can be "prettyprinted" in any case.


|