!ouPNSCFKERlwSuEAts:matrix.org

Ada Programming Language News

22 Members
Welcome to the Ada Programming Language newsroom. Wikipedia: https://en.wikipedia.org/wiki/Ada_(programming_language). Learn Ada: https://learn.adacore.com/ Awesome Ada: https://github.com/ohenley/awesome-ada We have cookies and bot which inform us about the latest events in the Ada world. The main room is #ada-lang_Lobby:gitter.im2 Servers

Load older messages


SenderMessageTime
13 May 2021
@thindil:matrix.orgthindil
In reply to @drpi:matrix.org
Very interesting. Reading other's code is always instructive.
Still learning Ada but I think there is an error in "Generic Units (83)" chapter, "In[10]" section. "Byte_Range" is declared as "subtype Byte_Range is Positive range 0 .. 255;". Should'nt "Positive" be "Natural" ?
Definitely should be 😉
11:22:01
@drpi:matrix.orgDrPiThanks11:24:52
@anton_5:matrix.organton_5http://www.inspirel.com/articles/Ada_On_Cortex.html11:54:37
@drpi:matrix.orgDrPiThey also have other interesting articles (Ada or not).13:34:39
@drpi:matrix.orgDrPiAnother example of how easy it is to write bad code in C, even for experienced programmer : https://interrupt.memfault.com/blog/opaque-pointers (see my comment at the bottom of the page).14:15:47
@drpi:matrix.orgDrPi * Another example of how easy it is to write bad code in C, even for experienced programmer : https://interrupt.memfault.com/blog/opaque-pointers (see my comment at the bottom of the page).14:16:17
@thindil:matrix.orgthindil
In reply to @anton_5:matrix.org
http://www.inspirel.com/articles/Ada_On_Cortex.html
Nice tutorial, if I remember correctly someone was looking for that thing some time ago. Again, thanks for sharing 🙂
15:26:05
@thindil:matrix.orgthindil
In reply to @drpi:matrix.org
Another example of how easy it is to write bad code in C, even for experienced programmer : https://interrupt.memfault.com/blog/opaque-pointers (see my comment at the bottom of the page).
True, I noticed it after reading your comment. 😅 The worst part: probably the most of C compilers will not catch it too. And classic overflow is ready. 😉
15:29:27
@drpi:matrix.orgDrPiC compilers are not smart. I usually use CppCheck to find this kind of error. Not perfect but better than nothing.15:30:58
@thindil:matrix.orgthindilTrue, there are also a few other options too: as far I remember Spark works with C/C++ either. Could be a good companion to CppCheck or Frama-C.15:34:04
@drpi:matrix.orgDrPiReally ? I thought Spark is Ada only.15:34:54
@drpi:matrix.orgDrPiI didn't know Frama-C either.15:36:43
@thindil:matrix.orgthindilI think I saw something about it in one of press materials of AdaCore. I need to find it, maybe I remember wrong. Frama-C same like CppCheck, is Open Source: https://frama-c.com/15:43:59
@drpi:matrix.orgDrPiWhat's the difference between CppCheck and Frama-C ?15:45:15
@irvise:matrix.orgIrvise
In reply to @drpi:matrix.org
What's the difference between CppCheck and Frama-C ?
Frama-C is more similar to SPARK, it tires to prove that the code is correct.
15:49:42
@irvise:matrix.orgIrvise
In reply to @thindil:matrix.org
True, there are also a few other options too: as far I remember Spark works with C/C++ either. Could be a good companion to CppCheck or Frama-C.
I think SPARK cannot prove C/C++, but you can wrap the C/C++ logic in SPARK and it will asume that it is correct and continue with the rest of the program.
15:50:28
@irvise:matrix.orgIrviseAKA, C/C++ still allow you to use SPARK.15:50:45
@drpi:matrix.orgDrPi
In reply to @irvise:matrix.org
Frama-C is more similar to SPARK, it tires to prove that the code is correct.
Interresting. Thanks.
15:54:30
@thindil:matrix.orgthindil
In reply to @irvise:matrix.org
I think SPARK cannot prove C/C++, but you can wrap the C/C++ logic in SPARK and it will asume that it is correct and continue with the rest of the program.
Yes, just checked and definitely my bad. 😅 Spark is Ada only, it was about other things.
15:56:02
@drpi:matrix.orgDrPipragma Assert (SPARK is AdaOnly) 🤣15:58:42
@thindil:matrix.orgthindilTrue or exception: Data_Error 😋15:59:56
14 May 2021
@_neb_rssbot_=40thindil=3amatrix.org:matrix.orgRSS Bot [@thindil:matrix.org]Redacted or Malformed Event02:07:48
@_neb_rssbot_=40thindil=3amatrix.org:matrix.orgRSS Bot [@thindil:matrix.org] News from the Ada programming language world | Ada Planet:
I'm working on an Ada binding for notcurses. github.com/JeremyGrosser/…
06:07:10
@_neb_rssbot_=40thindil=3amatrix.org:matrix.orgRSS Bot [@thindil:matrix.org] News from the Ada programming language world | Ada Planet:
#MarsExpress: more #AdaProgramming in #space twitter.com/esaoperations/…
12:08:08
@_neb_rssbot_=40thindil=3amatrix.org:matrix.orgRSS Bot [@thindil:matrix.org] News from the Ada programming language world | Ada Planet:
Difference between typedef in C and application-defined types in Ada
12:08:08
@_neb_rssbot_=40thindil=3amatrix.org:matrix.orgRSS Bot [@thindil:matrix.org] News from the Ada programming language world | Ada Planet:
How to add runtime library in Ada multi 7.2.4
13:08:11
@_neb_rssbot_=40thindil=3amatrix.org:matrix.orgRSS Bot [@thindil:matrix.org] News from the Ada programming language world | Ada Planet:
How to add adaMulti v7.2.4 run time library
14:08:12
@_neb_rssbot_=40thindil=3amatrix.org:matrix.orgRSS Bot [@thindil:matrix.org] News from the Ada programming language world | Ada Planet:
Cannot make gnat-llvm : Ada.Strings.Text_Output" is not a predefined library unit
16:08:18
@_neb_rssbot_=40thindil=3amatrix.org:matrix.orgRSS Bot [@thindil:matrix.org] News from the Ada programming language world | Ada Planet:
Am a non technical person how can u explain WHAT is Ada programing language in a layman terms also in simple English because my mother language is Tamil
18:08:21
15 May 2021
@_neb_rssbot_=40thindil=3amatrix.org:matrix.orgRSS Bot [@thindil:matrix.org]Redacted or Malformed Event04:07:20

There are no newer messages yet.


Back to Room List