Menu

Home

dmitry-kazakov

Welcome to your wiki!

This is the default page, edit it as you see fit. To add a new page simply reference it within brackets, e.g.: [SamplePage].

The wiki uses Markdown syntax.

Project Members:


Discussion

  • dmitry-kazakov

    dmitry-kazakov - 2020-05-30

    Changes to the version 3.6:

    • Code cleanup;
    • Adapted to GNAT Studio Community 2020.
     
  • dmitry-kazakov

    dmitry-kazakov - 2022-08-05

    Changes to the version 3.7:

    • Minor bug fixes in Strings_Edit-ISO_8601.
     
  • dmitry-kazakov

    dmitry-kazakov - 2025-07-12

    Changes to the version 3.8:

    • Bug fix in Strings_Edit.UTF8.Maps.Is_Prefix;
    • Unread was added to Strings_Edit.Streams to return the contents available to read;
    • Get function was added to.Strings_Edit.UTF8.Maps.
     
  • dmitry-kazakov

    dmitry-kazakov - 2025-12-04

    Changes to the previous version:

    • Function Compare to compare arrays of code points was added to the package Strings_Edit.UTF8;
    • Function Image to convert a code points array to UTF-8 string was added to the package Strings_Edit.UTF8;
    • Function Compare to compare arrays of code points using a code points mapping was added to the package Strings_Edit.UTF8.Maps;
    • The package Strings_Edit.UTF8.Normalization was added to provide Unicode decompositions (NFD and NFKD), composition, normalization (NFC, NFKC) as well as comparisons of normalized strings. The canonical composition rules are respected;
    • The application Strings_Edit.UTF8.Normalization_Generator was added to support updates of the UnicodeData.txt data base;
    • The test case test_utf8 was added.
     
  • dmitry-kazakov

    dmitry-kazakov - 2026-03-29

    Changes to the previous version:

    • The Size functions were added to Strings_Edit.UTF8 to calculate the length of UTF-8 encoding of a code point or an array of;
    • The package Strings_Edit.RFC_3897 was added to handle IP addresses v4 and v6 as well as IRI (Internationalized Resource Identifier). IRI is an extension of URI (Uniform Resource Identifier) and URL (Uniform Resource Locator) that supports Unicode.
     

Log in to post a comment.

MongoDB Logo MongoDB