web analytics
Newspapers

Categories:

Tags:

Authors:

History:

Create News
 
announce-horn
Categories: Library Tech Library
Tags: B-trees Chebyshev series Cryptography Doubly-linked webs and lists Blackboards ELV/eQ-3 MAX! Events GNUTLS Graphs HTTP FIFO IEEE 754 MODBUS TCP Mutexes ODBC Parser Persistent Pools Sets Maps SQLite Stacks Streams Strings

by Dmitry A. Kazakov

Simple Components for Ada v4.11 released

Changes to the previous version:

  • ELV/e-Q3 MAX! client protocol implementation corrected;
  • ELV/e-Q3 MAX! client supports reading measured temperature from radiator thermostats;
  • ELV/e-Q3 MAX! client subprograms Get_Error, Has_Device_Data, Query_NTP_Servers, Reset_Devices, Reset_Error, Set_NTP_Servers added;
  • ELV/e-Q3 MAX! client messages and commands A, F, N support added;
  • GNUTLS bindings updated to the latest version.

Library can be found here.
GNU GPL v2+ license (modified for runtime).

From Dmitry A. Kazakov

Read More
announce-horn
Categories: Library Tech Library
Tags: B-trees Chebyshev series Cryptography Doubly-linked webs and lists Blackboards ELV/eQ-3 MAX! Events GNUTLS Graphs HTTP FIFO IEEE 754 MODBUS TCP Mutexes ODBC Parser Persistent Pools Sets Maps SQLite Stacks Streams Strings ODBC Parser Persistent Pools Sets Maps SQLite Stacks Streams Strings

by Dmitry A. Kazakov

Simple Components for Ada v4.11 released

The library version provides implementations of smart pointers, directed graphs, sets, maps, B-trees, stacks, tables, string editing, unbounded arrays, expression analyzers, lock-free data structures, synchronization primitives (events, race condition free pulse events, arrays of events, reentrant mutexes, deadlock-free arrays of mutexes), pseudo-random non-repeating numbers, symmetric encoding and decoding, IEEE 754 representations support, multiple connections server/client designing tools.

Read More
announce-horn
Categories: Framework
Tags: Linux SPARK

by Reto Buerki, Adrian-Ken Rueegsegger

Muen microkernel 0.7 released

The Muen Separation Kernel is the world’s first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level. It is developed in Switzerland by the Institute for Internet Technologies and Applications (ITA) at the University of Applied Sciences Rapperswil (HSR).

The following major features and improvements have been implemented :

  • Support for Genode VM subjects
  • Subject time mechanism
  • Hardware and platform policy abstractions
  • Linux virtual filesystem and network interface drivers
Read More

AdaForge is brought to you by William J. Franck and Sterna.IO

EEC GDPR compliant