ada/VSS
0
0
Fork 0
mirror of https://github.com/AdaCore/VSS.git synced 2026-02-12 13:06:25 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
topic/fix_style_errors
VSS/source/json/implementation
History
Vadim Godunko eabf30927a Disable documentation generation for implementation packages.
2022-09-07 14:31:53 +03:00
..
vss-json-content_handlers.adb
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-implementation-big_integers.adb
Fix compiler's warnings.
2022-08-30 07:04:21 +03:00
vss-json-implementation-big_integers.ads
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-implementation-numbers-clinger.adb
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-implementation-numbers-clinger.ads
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-implementation-numbers-eisel_lemire.adb
Remove pragmas unnecessary due to upgrade to GCC 12.
2022-08-30 07:04:21 +03:00
vss-json-implementation-numbers-eisel_lemire.ads
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-implementation-numbers-tables.ads
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-implementation-numbers.adb
Remove pragmas unnecessary due to upgrade to GCC 12.
2022-08-30 07:04:21 +03:00
vss-json-implementation-numbers.ads
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-implementation-packed_decimals.adb
Fix compiler's warnings.
2022-08-30 07:04:21 +03:00
vss-json-implementation-packed_decimals.ads
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-implementation-parsers.adb
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-implementation-parsers.ads
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-implementation.ads
Disable documentation generation for implementation packages.
2022-09-07 14:31:53 +03:00
vss-json-pull_readers-simple.adb
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-pull_readers.adb
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-push_readers-simple.adb
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json-push_writers.adb
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00
vss-json.adb
Change license header to Apache 2.0
2022-06-21 10:14:14 +03:00