[prev in list] [next in list] [prev in thread] [next in thread] 

List:       avispa-users
Subject:    Re: [Avispa-users] Bug in SPAN tool?
From:       Thomas Genet <Thomas.Genet () irisa ! fr>
Date:       2011-04-11 15:23:35
Message-ID: 4DA31CF7.60909 () irisa ! fr
[Download RAW message or body]



Le 11/04/11 17:11, Matteo R. a écrit :
> Il 11/04/11 16.57, Thomas Genet ha scritto:
>> You are totally right...
>>
>> From time to time, I fixed some small problems and produce new
>> distributions...
>> The problem is that I have absolutely NO TIME to do this any more!...
>> and the main author (Yann Glouche) no longer supports it either.
>>
>> Anyway, this is free software, any help is welcome :-)
>>
>>
>> Best regards,
>>
>> Thomas
> I may understand you very well, the time is a very lack resource...
> Unluckly I'm not a programmer at all, but I really hope that someone
> could help this project
> My little help will be (I hope) to share my protocol with the whole
> community, when it'll be finished and working.
>
> In this particular case, is there anything that I can do to avoid other
> similar problems?

When you find such a problem, the best solution is to downsize your 
example as possible so as to ease to locate the problem.
On this example I have no idea if it comes from SPAN (on which I may 
help) or AVISPA (on which I can't)

Thomas
-- 
Thomas Genet
ISTIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44   E-mail: genet@irisa.fr
http://www.irisa.fr/celtique/genet
_______________________________________________
Avispa-users mailing list
Avispa-users@avispa-project.org
http://mail63.csoft.net/mailman/listinfo/avispa-users

[prev in list] [next in list] [prev in thread] [next in thread]