ada/SPARKlib
0
0
Fork 0
mirror of https://github.com/AdaCore/SPARKlib.git synced 2026-02-12 13:11:36 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
fsf-15
SPARKlib/src
History
Piotr Trojanek 0c2a4ee720 Remove redundant parentheses inside unary operators 
GNAT already emits a style warning when redundant parentheses appear inside
logical and short-circuit operators. A similar warning is now emitted for unary
operators as well. This patch removes the redundant parentheses to avoid build
errors.
2025-01-10 12:06:04 +01:00
..
spark__exec.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-big_integers__light.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-big_integers__light.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-big_integers.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-big_intervals__light.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-big_intervals.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-big_reals__light.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-big_reals__light.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-big_reals.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-c-constant_strings.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-c-constant_strings.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-c-strings.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-c-strings.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-c.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-doubly_linked_lists.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-doubly_linked_lists.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hash_tables-generic_keys.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hash_tables-generic_keys.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hash_tables-generic_operations.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hash_tables-generic_operations.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hash_tables-prime_numbers.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hash_tables-prime_numbers.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hash_tables.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hashed_maps.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hashed_maps.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hashed_sets.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-hashed_sets.ads
Remove redundant parentheses inside unary operators
2025-01-10 12:06:04 +01:00
spark-containers-formal-holders.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-holders.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-ordered_maps.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-ordered_maps.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-ordered_sets.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-ordered_sets.ads
Remove redundant parentheses inside unary operators
2025-01-10 12:06:04 +01:00
spark-containers-formal-unbounded_doubly_linked_lists.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-unbounded_doubly_linked_lists.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-unbounded_hashed_maps.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-unbounded_hashed_maps.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-unbounded_hashed_sets.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-unbounded_hashed_sets.ads
Remove redundant parentheses inside unary operators
2025-01-10 12:06:04 +01:00
spark-containers-formal-unbounded_ordered_maps.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-unbounded_ordered_maps.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-unbounded_ordered_sets.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-unbounded_ordered_sets.ads
Remove redundant parentheses inside unary operators
2025-01-10 12:06:04 +01:00
spark-containers-formal-unbounded_vectors.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-unbounded_vectors.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-vectors.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal-vectors.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-formal.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-base__light.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-base.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-base.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-infinite_sequences__light.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-infinite_sequences-higher_order.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-infinite_sequences-higher_order.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-infinite_sequences.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-infinite_sequences.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-maps__light.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-maps-higher_order.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-maps-higher_order.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-maps.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-maps.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-multisets__light.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-multisets.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-multisets.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-sets__light.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-sets-higher_order.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-sets-higher_order.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-sets.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-sets.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-vectors__light.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-vectors-higher_order.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-vectors-higher_order.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-vectors.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional-vectors.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-functional.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-hash.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-hash.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-parameter_checks.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-parameter_checks.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-stable_sorting.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-stable_sorting.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-types__light.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers-types.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-containers.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-conversions-float_conversions.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-conversions-long_float_conversions.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-conversions-long_integer_conversions.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-conversions.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-cut_operations.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-cut_operations.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-higher_order-fold.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-higher_order-fold.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-higher_order.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-higher_order.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-arithmetic.adb
Remove redundant parentheses inside unary operators
2025-01-10 12:06:04 +01:00
spark-lemmas-arithmetic.ads
Remove redundant parentheses inside unary operators
2025-01-10 12:06:04 +01:00
spark-lemmas-constrained_array.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-constrained_array.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-fixed_point_arithmetic.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-fixed_point_arithmetic.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-float_arithmetic.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-float_base.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-floating_point_arithmetic.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-floating_point_arithmetic.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-integer_arithmetic.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-long_float_arithmetic.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-long_integer_arithmetic.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-mod32_arithmetic.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-mod64_arithmetic.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-mod_arithmetic.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-mod_arithmetic.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-unconstrained_array.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas-unconstrained_array.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-lemmas.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-pointers-abstract_maps.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-pointers-abstract_sets.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-pointers-abstract_sets.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-pointers-pointers_with_aliasing_separate_memory.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-pointers-pointers_with_aliasing_separate_memory.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-pointers-pointers_with_aliasing.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-pointers-pointers_with_aliasing.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-pointers.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-tests-array_lemmas.adb
Copyright update
2025-01-06 09:49:38 +09:00
spark-tests-array_lemmas.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark-tests.ads
Copyright update
2025-01-06 09:49:38 +09:00
spark.ads
Copyright update
2025-01-06 09:49:38 +09:00