ada-util icon indicating copy to clipboard operation
ada-util copied to clipboard

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

Results 11 ada-util issues
Sort by recently updated
recently updated
newest added

System: Dockerized Ubuntu 21 under ArchLinux host machine, both x86_84 Ada Util Version: 2.4.1 Compilation of an example project that uses Ada-Util fails for GCC 10 only, GCC 9, 11...

I'm thinking about writing a schema crate for the Matrix specification. The problem is that the Matrix specification is quite dynamic: the JSON content contains a "content" object that changes...

question

Hello, i'm encountering a strange issue : `file "util-http-clients-curl.ads" not found "Util" is not visible` I use successfully this list of commands to install ada-util, and all worked well without...

Hi, I have been trying to use json.adb in the samples directory to write my own serializers, and I have a couple of issues: 1. Proxy functions with vector mappers...

When printing the time to the log, the current implementation uses the `Ada.Calendar.Formatting.Image` procedure. This causes the time to be recorded in UTC rather than the system's Local Time. It...

enhancement

Hello, First, let me say I'm a Ada beginner. I'm trying to install ada-util on Windows 10. From what I understand, Alire installed msys2. 1. Started an msys2 shell. 2....

Bumps [jinja2](https://github.com/pallets/jinja) from 3.1.3 to 3.1.4. Release notes Sourced from jinja2's releases. 3.1.4 This is the Jinja 3.1.4 security release, which fixes security issues and bugs but does not otherwise...

dependencies

The library already supports FreeBSD and NetBSD. OpenBSD needs little adaptations.

enhancement

The `Util.Processes` package and `Util.Streams.Pipes` package allow to launch a process and read/write the standard input/output of the process. When launched and having the standard output redirected to a pipe,...

enhancement

The current JSON stream generation is produced on a single line without spaces. This is good to API generation but produces a JSON which is harder to read by humans....

enhancement