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.
The BSI tests that were formed from these tests are certainly
paidware, and the BSI is now no longer distributing them (for any
price), nor releasing them to public domain.
I have been in contact with the authors attempting to resolve the
status of the PUG version of the tests. So far, no luck. I'll let
you know.
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.
--
Samiam is Scott A. Moore
Personal web site: http:/www.moorecad.com/scott
My electronics engineering consulting site: http://www.moorecad.com
ISO 7185 Standard Pascal web site: http://www.moorecad.com/standardpascal
Classic Basic Games web site: http://www.moorecad.com/classicbasic
The IP Pascal web site, a high performance, highly ****table ISO 7185
Pascal
compiler system: http://www.moorecad.com/ippas
Good does not always win. But good is more patient.


|