Skip to content
#

Ada

ada logo

Ada is a structured, statically typed, imperative, and object-oriented high-level programming language. It has built-in language support for design by contract, strong typing, explicit concurrency, tasks, synchronous message passing, and protected objects. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC) as ISO/IEC 8652:2012.

Here are 375 public repositories matching this topic...

yoroi-frontend
mosteo
mosteo commented Apr 30, 2020

To better organize our documentation we may want something similar to the Cargo book, that can be imported into the website and referenced from alr

  • Prepare index
  • Check jekyll facilities

Notes: stored in the same alr repo so documentation matches alr releases.

senier
senier commented Sep 14, 2019

When building the IP sniffer test, I forgot to run Verify_Message before checking Structural_Valid_Message. While this was not a correctness issue (the context of cause was invalid), it took me some time to realize that. I wonder if we should add a predicate to those convenience operations that work on a whole message that states/requires that a verification has been attempted on a context. Th

You can’t perform that action at this time.