Recent changes to Home

Discussion for Home page

dmitry-kazakov — Thu, 02 Jul 2026 18:16:07 -0000

Changes (2 July 2026) to the version 4.80:

Compatibility to GNAT 16.1.1. This GNAT 16.1.1 has the recurring issue/bug related to the visibility of names from formal generic packages;
Constant expression folding was added to Ada expression parser (Parsers.Generic_Ada_Parser). Folding is optional. If enabled expressions in universal types and constant Boolean expressions are folded. e.g. 1 + 2 + A (5) -> 3 + A (5);
The subprograms Get, Put, Value were added to the package Parsers.Multiline_Source;
The call-back On_Success was added to the Generic_Lexer's parser;
The procedures Mark and Release were added to the package Parsers.Generic_Lexer;
The package Stack_Storage.Text_IO was added to output stack pool statistics;
Parameter Message was added to the procedure Put_Line of the package Parsers.Generic_Source.Text_IO;
Ada expression parser supports raise-statements outside immediate pair of parentheses;
Checking positional and named aggregates was added in the Ada expression parser;
Checking positional and named parameters was added in the Ada expression parser;
Array objects were added to the declare expressions in the Ada expression parser;
Aspects recognition was added to the declare expressions in the Ada expression parser;
Subtype marks and indications were added in the Ada expression parser;
Attributes were added in the Ada expression parser;
Target name @ support was added in the Ada expression parser;
The parser can start with the first operand already recognized;
An ability to parse an expression in parenthesis with a consumed left parenthesis was added;
Comparisons of Unbounded_Integer bug fixed;
Log procedure was added to Unbounded_Unsigneds;
Column_Name function was added to the SQLIte bindings (contributed by Xavier Grave).

Discussion for Home page

dmitry-kazakov — Sun, 29 Mar 2026 16:26:28 -0000

Changes (16 February 2026) to the version 4.78:

The package Generic_Undirected_Graph was added;
The package Discrete_Integer_Set an instance of Generic_Discrete_Set with Integer was added;
The Natural_Number_Range pattern was added to Parsers.Generic_Source.Patterns to match a number from a range of natural numbers;
The Natural_Number_Range pattern was added to Parsers.Generic_Source.Patterns to match a number from a set of natural numbers;
The maximum number of matches was added to the pattern Proceed in the package Parsers.Generic_Source.Patterns;
The form "or null" was added to Parsers.Generic_Source.Patterns as an equivalent of "or Empty;"
Bug fix in Unbounded_Unsigneds causing memory leak.

Discussion for Home page

dmitry-kazakov — Mon, 16 Feb 2026 08:44:22 -0000

Changes to the previous version:

Recurring rational representations (1/3 = 0.(3)) were added to the package Strings_Edit.Unbounded_Rational_Edit;
Bug fix in Strings_Edit.Unbounded_Unsigned_Edit caused by overflow for 16 base;
Next_Prime was added to the package Unbounded_Unsigneds.Primes;
The pattern Proceed was added to SNOBOL-like patterns;
Some heuristics were added to improve performance of SNOBOL-like patterns.

Discussion for Home page

dmitry-kazakov — Mon, 05 Jan 2026 09:08:44 -0000

Changes the previous version:

The pattern NL_or_EOF was added to SNOBOL-like patterns;
The package Parsers.Generic_Source.Patterns.Generic_Fields was added to match and accumulate a string array of delimited fields;
The package Parsers.Generic_Source.Patterns.Generic_Floats was added to match and accumulate a float array;
The package Parsers.Generic_Source.Patterns.Generic_Integers was added to match and accumulate an integer array;
The package Parsers.String_Patterns was added as an instance of Parsers.Generic_Source.Patterns for Parsers.String_Source to be used with string sources;
The package Parsers.Multiline_Patterns was added as an instance of Parsers.Generic_Source.Patterns for Parsers.Multiline_Source to be used with string sources;
The packages Parsers.String_Patterns.Fields and Parsers.Multiline_Patterns.Fields were added as instances of Parsers.Generic_Source.Patterns.Generic_Fields;
The packages Parsers.String_Patterns.Floats and Parsers.Multiline_Patterns.Floats were added as instances of Parsers.Generic_Source.Patterns.Generic_Floats with the Float type;
The packages Parsers.String_Patterns.Integers and Parsers.Multiline_Patterns.Integers were added as instances of Parsers.Generic_Source.Patterns.Generic_Integers with the Integer type;
The pattern Field was added to Parsers.Generic_Source.Patterns to match delimited fields;
The pattern Natural_Number was added to Parsers.Generic_Source.Patterns to match natural numbers;
The pattern Fixed_Point_Number was added to Parsers.Generic_Source.Patterns to match fixed-point numbers;
The pattern XML_Literal was added to Parsers.Generic_Source.Patterns to match XML literals;
The pattern FloatingPoint_Number was added to Parsers.Generic_Source.Patterns to match floating-point numbers;
The user-defined variables were added to Parsers.Generic_Source.Patterns and in the generic form by the Parsers.Generic_Source.Patterns.Generic_Variable;
Subroutines Get_Session_Host, Get_Keep_Host_Name, Set_Keep_Host_Name were added to the package GNAT.Sockets.Server.
The procedure Enable_SSL_Trace was added to the package GNAT.Sockets.Server.OpenSSL;
OpenSSL client supports the Server Name Indication (SNI) extension;
Secure (GNUTLS) client supports the Server Name Indication (SNI) extension;
Function "/" was added to Parsers.JSON to extract values by key.

Discussion for Home page

dmitry-kazakov — Thu, 04 Dec 2025 15:25:47 -0000

Changes the previous version:

The Python high-level class support fixed to accommodate controlled types;
The Python high-level class supports extension of Python types with Ada type extension;
Binding to Get_Basic_Size were added to the package Py;
Throw_NotImplementedError procedure was added to the package Py;
Weak references support was added to the Py package.

Discussion for Home page

dmitry-kazakov — Sun, 10 Aug 2025 13:59:39 -0000

Changes to the previous version:

The parsing example was upgraded from Ada 95 to Ada 2022. The changes include:
Unicode identifiers;
new (<subpool>) syntax;</subpool>
Container aggregate;
for expressions in container aggregate;
declare expressions;
delta aggregates;
if expressions;
case expressions;
raise expressions;
The package Parsers.Generic_Ada_Parser.Generic_Dot was added for writing Ada syntax trees in the DOT format of Graphviz;
The package Parsers.Generic_Ada_Parser.Generic_Text_IO was added for printing Ada syntax trees;
The package Parsers.Generic_Source.UTF8_Keywords was added.

An example of text output of the syntax tree for:

(for I in 1 .. 4 =>           -- ARM 4.3.3
   (for J in 1 .. 4 =>
      (if I=J then 1.0 else 0.0)));

() at 355:1..357:38
|__for I in .. at 355:13..14
            |__1 at 355:11..11
            |__4 at 355:16..16
   => () at 356:8..357:37
      |__for J in .. at 356:20..21
                  |__1 at 356:18..18
                  |__4 at 356:23..23
         => if = at 357:16..16
               |__I at 357:15..15
               |__J at 357:17..17
            then 
               1.0 at 357:24..26
            else
               0.0 at 357:33..35

Discussion for Home page

dmitry-kazakov — Sat, 12 Jul 2025 13:01:41 -0000

The new version provides an implementation of SNOBOL-like patterns. The patterns are integrated into the parsing framework. They can be constructed using expressions and then matched against the generic source.

SNOBOL patterns are more powerful than regular expressions. A BNF grammar can be directly translated into pattern. Therefore they can be recursive. Features like immediate assignment and printout are fully supported. Patterns can extended by user-defined matching functions. Unicode is fully supported In particular matching letters involve Unicode categorization.

Changes to the version 3.74

The package Parsers.Generic_Source.Patterns was added to implement SNOBOL-like patters;
The package Parsers.Generic_Source.Patterns.Generic_User_Pattern was added to provide user-defined patters;
The package Parsers.Generic_Source.Patterns.Generic_Parametrized_User_Pattern was added to provide user-defined patters with parameter;
The function Top added to the package Stack_Storage;
The interface procedure Set_Pointer was modified in the generic package Parsers.Generic_Source.

Discussion for Home page

dmitry-kazakov — Mon, 30 Jun 2025 10:51:44 -0000

The focus of this release is an implementation of arbitrary precision rational numbers. The difference to standard library Ada.Numerics.Big_Numbers.Big_Reals:

No limits, except for the pool size;
String edit packages representing a number in a usual form (with the specified accuracy) rather than as a numerator/denominator ratio;
An equivalent of Ada.Numerics.Elementary_Functions with rational approximations;
Simple continued fractions support.

Changes to the previous version:

The package Unbounded_Rationals provides an implementation of arbitrary precision rational numbers arithmetic;
The child package Unbounded_Rationals.Elementary_Functions provides approximations in rational numbers of some elementary, trigonometric and hyperbolic functions;
The package Strings_Edit.Unbounded_Rational_Edit provides string editing for arbitrary precision rational numbers;
The package Strings_Edit.Unbounded_Unsigned_Edit was optimized for better performance;
Mixed Unsigned_Integer to Integer operations were added to the package Unsigned_Integers;
The package Unbounded_Rationals.Continued_Fractions provides an implementation of simple continued fractions;
The package Strings_Edit.Continued_Fraction_Edit provides string editing for simple continued fractions;
Bug fixes in List_SetItem Python bindings;
Check_Error message in Python binding was improved, trace back output added;
Added higher level operations to create Python modules after initialization of the Python interpreter;
Added higher level operations to create Python classes AKA heap types after initialization;
An example of higher level module creation was provided;
An example of higher level class creation was provided;
IsInitialized function was added to Python bindings;
OSX project settings fixed.

Discussion for Home page

dmitry-kazakov — Sat, 29 Mar 2025 11:39:53 -0000

Changes the version 4.73:

Bug fix in Generic_Set.Insert which failed to set Inserted output correctly when the element is already in the set;
Bug fix in Generic_Indefinite_Set.Insert, same as above;
The package Generic_Lock_Free_FIFO was added. The package implements lock-free N-to-M FIFOs.

Discussion for Home page

dmitry-kazakov — Tue, 11 Mar 2025 17:29:33 -0000

Changes the version 4.72:

Topic list bug fix in the package GNAT.Sockets.MQTT (thanks to Xavier Grave);
Minor performance improvements in Unbounded_Unsigneds: calculating log2, testing for power of two;
OpenSSL MQTT test (components-connections_server.mqtt-test_mqtt) added;
GNAT.Sockets.Server.Secure (GNUTLS) bug fixed. Activated is called at the end of handshaking;
GNAT.Sockets.Server.OpenSSL bug fixed. Activated is called at the end of handshaking.