v6.0.0

Changes

• Fix SPARK mode violations detected by GCC 14
• Remove unneeded parentheses in test code
• Use gcovr for code coverage
• Use Pre aspect for some internal procedures in JSON.Types
• Move executables from json to new separate crate

v5.0.3

Changes

• Use compiler switches from Alire's configuration

v5.0.2

Changes

• Fix build failure because of compiler warnings
• Do not treat compile warnings as errors

v5.0.1

Changes

• Remove with'ing of unit JSON.Streams in example code in README.md
• Avoid Constraint_Error when running tool without any arguments
• Remove -flto switch

v5.0.0

Changes

• Port unit tests from Ahven to AUnit
• Make type Stream_Ptr a pointer to a non-classwide type
• Enable SPARK_Mode for package JSON.Streams
• Do not print prettified JSON in tool if first argument is -q
• Improve performance of functions Contains and Get
• Simplify creating Parser objects

v4.0.1

Changes

• Fix compilation with GNAT CE 2020
• Add 'prove' command which uses gnatprove
• Add 'ce' command to compile with latest CE in Docker container

v4.0.0

Changes

• Add tool to pretty print a .json file
• Add a function to read the whole content of a file
• Simplify package JSON.Parsers a bit

v3.0.4

Changes

• Add SPDX license identifier to Ada files
• Use Pitchfork layout
• Remove LDFLAGS in Makefile

v3.0.3

Changes

• RFC requires subset of control characters to be escaped

v3.0.2

Changes

• Remove partition-wide No_Recursion restriction