From: Paul Colin Gloster <Colin_Paul_Gloster@ACM.org>
Subject: Re: Is the Ada compiler of Polyspace invalid?
Date: Fri, 18 Feb 2011 16:27:48 +0000
Date: 2011-02-18T16:27:48+00:00 [thread overview]
Message-ID: <alpine.LNX.2.00.1102181624190.7358@Bluewhite64.example.net> (raw)
In-Reply-To: <0c1168ed-e09e-4555-a77e-40620dd80628@f15g2000yqf.googlegroups.com>
Julian Leyh <julian@VGAI.De> sent on February 18th, 2011:
|-------------------------------------------------------------|
|"Hi, |
| |
|I have some Ada code, which I would like to try Polyspace on.|
| |
|It contains something like this (simplified): |
| |
|foo.ads: |
|procedure foo; |
| |
|foo.adb: |
|procedure foo is |
|... |
|end foo; |
| |
|somewhere else: |
|with foo;" |
|-------------------------------------------------------------|
Hi,
Do you really have something like that? You cannot WITH a procedure.
|-------------------------------------------------------------|
|"[..] |
| |
|The Polyspace compiler doesn't seem to like this.. |
| |
|[..]" |
|-------------------------------------------------------------|
The code checkers from Polyspace are not compilers.
Yours sincerely,
Paul Colin Gloster
next prev parent reply other threads:[~2011-02-18 16:27 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-18 8:58 Is the Ada compiler of Polyspace invalid? Julian Leyh
2011-02-18 9:40 ` Martin
2011-02-21 8:32 ` Julian Leyh
2011-02-21 15:54 ` Adam Beneschan
2011-02-18 16:27 ` Paul Colin Gloster [this message]
2011-02-18 16:42 ` Simon Wright
2011-02-18 18:04 ` Paul Colin Gloster
2011-02-18 16:43 ` Adam Beneschan
2011-02-18 17:08 ` Martin
2011-02-18 16:50 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox