ANN: VC_View 2.1.1 is Linux compatible
in [ADA]
|
Prev: Two miscellaneous questions about GPS : Ada indentation andthen SPARK integration
Next: SPARK : surprising failure with implication
From: Phil Thornley on 1 Jun 2010 12:59 VC_View presents verification conditions, generated by the SPARK tools, in a way that makes them easier to interpret: 1. Only immediately relevant hypotheses are initially displayed. 2. User identifiers are replaced by upper-case letters. Version 2.1.1 of VC_View is now available and is compatible with both Windows and Linux. The source distribution (GPL) and a Windows executable are available on the Download page at www.sparksure.com. (The program functionality is the same as the previous Windows only version, 2.0). Many thanks to Alexander Senier for sorting out the compatibility problems. Phil Thornley
From: Anh Vo on 7 Jun 2010 13:48 On Jun 1, 9:59 am, Phil Thornley <phil.jpthorn...(a)googlemail.com> wrote: > VC_View presents verification conditions, generated by the SPARK > tools, in a way that makes them easier to interpret: > 1. Only immediately relevant hypotheses are initially displayed. > 2. User identifiers are replaced by upper-case letters. > > Version 2.1.1 of VC_View is now available and is compatible with both > Windows and Linux. > > The source distribution (GPL) and a Windows executable are available > on the Download page at www.sparksure.com. > (The program functionality is the same as the previous Windows only > version, 2.0). Thank you for sharing your work with others. I have problem www.sparksure.com. In fact, when clicking it, I got error message "The requested URL /www.sparksure.com was not found on this server." Any one else has similar problem or just only me? Thanks. A. Vo
From: Yannick Duchêne (Hibou57) on 7 Jun 2010 14:56 Le Mon, 07 Jun 2010 19:48:11 +0200, Anh Vo <anhvofrcaus(a)gmail.com> a écrit: > I have problem www.sparksure.com. In fact, when clicking it, I got > error message "The requested URL /www.sparksure.com was not found on > this server." Any one else has similar problem or just only me? > Thanks. > > A. Vo I've just checked http://www.sparksure.com/ is OK at least here. May be a temporarily DNS trouble from your ISP. Just wait, this will probably be back for you in a few hours. -- There is even better than a pragma Assert: a SPARK --# check. --# check C and WhoKnowWhat and YouKnowWho; --# assert Ada; -- i.e. forget about previous premises which leads to conclusion -- and start with new conclusion as premise.
From: Maciej Sobczak on 8 Jun 2010 03:23 On 7 Cze, 20:56, Yannick Duchêne (Hibou57) <yannick_duch...(a)yahoo.fr> wrote: > I have problemwww.sparksure.com. In fact, when clicking it, I got > > error message "The requested URL /www.sparksure.comwas not found on > > this server." Any one else has similar problem or just only me? > > Thanks. > > > A. Vo > > I've just checkedhttp://www.sparksure.com/is OK at least here. > May be a temporarily DNS trouble from your ISP. Just wait, this will > probably be back for you in a few hours. Not really. It's Google Groups which is messing up links that do not begin with "http://". If you use Google Groups, try these two and compare: 1. www.sparksure.com 2. http://www.sparksure.com This bug (and some others) is there for a long time already, but apparently nobody cares. -- Maciej Sobczak * http://www.inspirel.com YAMI4 - Messaging Solution for Distributed Systems http://www.inspirel.com/yami4
From: Anh Vo on 8 Jun 2010 11:46
On Jun 8, 12:23 am, Maciej Sobczak <see.my.homep...(a)gmail.com> wrote: > On 7 Cze, 20:56, Yannick Duchêne (Hibou57) <yannick_duch...(a)yahoo.fr> > wrote: > > > I have problemwww.sparksure.com. In fact, when clicking it, I got > > > error message "The requested URL /www.sparksure.comwasnot found on > > > this server." Any one else has similar problem or just only me? > > > Thanks. > > > > A. Vo > > > I've just checkedhttp://www.sparksure.com/isOK at least here. > > May be a temporarily DNS trouble from your ISP. Just wait, this will > > probably be back for you in a few hours. > > Not really. It's Google Groups which is messing up links that do not > begin with "http://". > > If you use Google Groups, try these two and compare: > > 1.www.sparksure.com > 2.http://www.sparksure.com > > This bug (and some others) is there for a long time already, but > apparently nobody cares. You are absolutely right. I got it now. Thank you for your help. Anh Vo |