Johannes Kanig 35e56d626f (no-tn-check) fix various whitespace issues on the repo ...

Change-Id: I387b5ffa968e0e212924455ada8a38ef71a64431

2021-12-15 11:54:30 +09:00

..

adt_private/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

adt_private_public_child_visibility/05

(no-tn-check) fix various whitespace issues on the repo

2021-12-15 11:54:30 +09:00

adt_private_refinement/05

(no-tn-check) fix various whitespace issues on the repo

2021-12-15 11:54:30 +09:00

adt_public_child_non_tagged_parent/05

(no-tn-check) fix various whitespace issues on the repo

2021-12-15 11:54:30 +09:00

adt_tagged_type/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

adt_tagged_type_extension/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

adt_visible/05

remove trailing whitespace from Ada source code

2019-01-29 13:39:27 +01:00

asm_abstract_state_refined_in_embedded_and_private_child/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

asm_abstract_state_refined_in_embedded_package/05

remove trailing whitespace from Ada source code

2019-01-29 13:39:27 +01:00

asm_abstract_state_refined_in_private_child/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

asm_private_abstract_bodyref_elaborationinit/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

asm_private_abstract_bodyref_mixedinit/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

asm_private_abstract_bodyref_procedureinit/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

asm_private_abstract_bodyref_statementinit/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

asm_private_concrete/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

asm_visible_concrete_initialized_by_declaration/05

remove trailing whitespace from Ada source code

2019-01-29 13:39:27 +01:00

asm_visible_concrete_initialized_by_elaboration/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

assert_loop_contract/05

[MB19-011] test - move mapping spec examples in testsuite

2013-11-19 16:36:21 +00:00

assert_no_loop_contract/05

remove trailing whitespace from Ada source code

2019-01-29 13:39:27 +01:00

attributes_of_unconstrained_out_parameter_in_precondition/05

[MB19-011] test - move mapping spec examples in testsuite

2013-11-19 16:36:21 +00:00

check_contract/05

remove trailing whitespace from Ada source code

2019-01-29 13:39:27 +01:00

circular_dependence_and_elaboration_order/05

remove trailing whitespace from Ada source code

2019-01-29 13:39:27 +01:00

contracts_with_remote_state/05

[MB19-011] test - move mapping spec examples in testsuite

2013-11-19 16:36:21 +00:00

external_variables_complex_io_device/05

remove trailing whitespace from Ada source code

2019-01-29 13:39:27 +01:00

external_variables_increasing_values_in_input_stream/05

[MB19-011] test - move mapping spec examples in testsuite

2013-11-19 16:36:21 +00:00

external_variables_input_append_tail/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

external_variables_input_output/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

external_variables_output_append_tail/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

external_variables_refinement_voting_input_switch/05

(no-tn-check) fix various whitespace issues on the repo

2021-12-15 11:54:30 +09:00

global_derives/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

loop_entry/05

MA27-006] Update of mapping spec completed

2013-11-20 17:52:36 +00:00

nesting_refinement/05

remove trailing whitespace from Ada source code

2019-01-29 13:39:27 +01:00

other_proof_types_and_functions/05

minor convert Ada code to Unix line endings

2019-01-29 13:39:11 +01:00

package_nested_inside_subprogram/05

(no-tn-check) fix various whitespace issues on the repo

2021-12-15 11:54:30 +09:00

pre_post_return/05

minor whitespace fixes in LRM and UG

2018-06-04 20:13:41 +02:00

proof_assume_contract/05

[MB19-011] test - move mapping spec examples in testsuite

2013-11-19 16:36:21 +00:00

the_stack/05

remove trailing whitespace from Ada source code

2019-01-29 13:39:27 +01:00

the_stack_with_conditions/05

minor removal of executable bits from non-executable files

2015-04-01 14:25:26 +01:00

update_examples/05

MA27-006] add missing file

2013-11-20 23:03:31 +00:00