Talk About Network

Google


Register and Login
Nick
Password
Register create new account Sign up is FREE and you can post replies, new topics, bookmark posts and more!
Recover lost password


Programming > Pascal Ansi -iso > Re: IP Pascal p...
Latest [ Topics | Posts ] Archive Post A New Topic Post a Reply
<< Topic < Post Post 5 of 9 Topic 166 of 215
Post > Topic >>

Re: IP Pascal p***** the Pascal Verification Suite

by Scott Moore <samiamsansspam@[EMAIL PROTECTED] > Jul 15, 2005 at 01:42 PM

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.
 




 9 Posts in Topic:
IP Pascal passes the Pascal Verification Suite
Scott Moore <samiam@[E  2005-07-15 01:57:34 
Re: IP Pascal passes the Pascal Verification Suite
CBFalconer <cbfalconer  2005-07-15 13:48:35 
Re: IP Pascal passes the Pascal Verification Suite
Scott Moore <samiam@[E  2005-07-15 08:22:32 
Re: IP Pascal passes the Pascal Verification Suite
CBFalconer <cbfalconer  2005-07-15 18:24:40 
Re: IP Pascal passes the Pascal Verification Suite
Scott Moore <samiamsan  2005-07-15 13:42:27 
Re: IP Pascal passes the Pascal Verification Suite
Scott Moore <samiam@[E  2005-07-19 10:51:03 
Re: IP Pascal passes the Pascal Verification Suite
Scott Moore <samiamsan  2005-07-19 18:54:05 
Re: IP Pascal passes the Pascal Verification Suite
frank@[EMAIL PROTECTED]   2005-07-20 02:27:53 
Re: IP Pascal passes the Pascal Verification Suite
Scott Moore <samiam@[E  2005-07-19 20:05:11 

Post A Reply:
  Go here to Signup

AddThis Feed Button


About - Advertising - Contact - Frequently Asked Questions - Privacy Policy - Terms of Use - Signup

Contact
tan12V112 Fri Jul 25 0:36:21 CDT 2008.