Hi, On 05/25/2018 07:31 PM, Dani wrote: > Hi! > > What is the timeframe for including the patch? > > Note1: Distributed Anex programmers are also benefited. > Note2: Does the patch make LibAnet and programs that use LibAnet more > efficient? Yes! > Why? Because the Ada compiler can make better decisions when > compiling programs! :-)
I'm sorry but I'm not going to include a patch set of that size just for the sake of some detect blocking, pure and preelaboration pragmas. In my opinion the changes are just to invasive for a small benefit. I hope you understand my point. Regards, - reto > 2018-05-14 15:28 GMT-03:00 Dani <danielchea...@gmail.com>: > >> Hi! :-) >> >> >> 2018-05-14 6:16 GMT-03:00 Reto Buerki <r...@codelabs.ch>: >> >>> Hi, >>> >>> Thanks for your contribution to the anet project. >>> >>> On 05/12/2018 09:45 PM, Dani wrote: >>>> Because I Known the source code of both, >>>> I believe Libanet is faster and safer than gnat-sockets, >>>> But gnat-sockets et.all claim categorically to be secure in the domains >>> of >>>> High Integrity, High Security and Real Time Systems. Whats "The Magic" >>> for >>>> this ? the Magic for this >>>> is have categorization pragmas ( or attributes) and some initial >>> re-work; >>> >>> I doubt that adding some pragmas makes a binding to the OS provided >>> socket implementation high secure all of a sudden, but on the other hand >>> the term 'high secure' is used for SSL websites nowadays, so what do I >>> know. >>> >> >> I agree with you; adding some pragmas does not make it any safer than >> it already is. these pragmas only allow categorization. these >> categorizations in >> Ada help the compiler to separate what can and can not be used in a >> program. >> >> Libanet already is secure in my vision. >> >> >>>> With this categorization added tools from this fields can be used >>>> flawlesse. :-D >>> >>> Can you please elaborate which tools you are referring to? >>> >> >> >> I Don't known theses tools beyond gnat itself, mas the _ use and >> existence_ these tools >> are touted by Software Manufacturers and required by Government Agencies >> and Buyers of such systems. >> >> My prime motivation is a really huge system that I'm creating in Ada >> with a friend. this system >> involves banks and money and at some point we will be required by some >> regulatory agency to >> pass through the sieve of those tools required by these. >> >> I can't create we system already with categorization pragmas and or >> proibited >> by compiler the use o Libanet because Libanet don't have these >> categorization pragmas. :-D >> >> Really does not stop being more bureaucracy. : -D But the existence of >> these >> categorizations in the Ada Language is well publicized and much required >> in some niches. >> >> Unfortunately a large part of our system will have to pass the sieve of >> one of these >> niches at some point in the future. >> >> and Thanks for understanding my point. >> >> >>> Kind regards, >>> - reto >>> >> >> Best Wishes, Dani. >> >> -- >> "There are many plans in the Human heart, But >> is the Lord's Purpose that prevails" >> >> "Existem Muitos planos e desejos no coração Humano, MAS >> são os Propósitos do Senhor que prevalecem" >> >> []'s Dani:-) >> > > >