# Images

This directory contains images that are used either to generate docs or slides.
They can be included directly in a `.rst` file or through a latex template, etc...

Some rules apply to the images here so they're easier to use

* Use `lower_case` naming for files and directories
* Do not use `.jpg` but `.jpeg`
* Only image types can be stored here
* Images should be referenced in a source file, otherwise they may be flagged and
  removed.

# MAJOR UPDATE - FILE REMOVAL

On 07 Jul 2025 I deleted a whole bunch of unused images (listed below).
If you ever think you need them, checkout a version of "master" before
that date.

+ 030_basic_types_lab_radar.png
+ 80-20_provable_or_testable.png
+ ada_and_spark_timeline.png
+ call_cycle-pre_and_post_condition.png
+ call_cycle-prove_pre_test_post.png
+ call_cycle-test_pre_prove_post.png
+ codepeer_from_gs.jpg
+ coffee_pot_runtime_error.jpeg
+ failed_proof_bus_example.png
+ generic_template_to_instances.png
+ gnatcoverage
+ gnatprove-actual_tool_flow.png
+ gnatprove-general_flow.png
+ gnattest
+ input_interface_package-flat.png
+ input_interface_package-hierarchichal.png
+ interaction_with_environment.png
+ labs
+ note.svg
+ number_one_ribbon.png
+ prove_dialog-basic-proof_level.png
+ rocket_launch_shock_wave.png
+ spark_menu-examine_file.jpeg
+ thales_adoption_manual.png
+ unproved_check_example.png
+ valves_and_sensors.jpeg
+ warning.svg
+ when_to_switch_to_spark.png
+ codepeer\cruise_analysis_manual_switches.png
+ codepeer\cruise_analysis_warnings_bar.png
+ codepeer\cruise_analysis_warnings_button.png
+ codepeer\cruise_analysis_warnings_check.png
+ codepeer\cruise_analysis_warnings_menu.png
+ codepeer\cruise_edit_gpr_file.png
+ codepeer\cruise_exclude_legacy.png
+ codepeer\cruise_filter_advanced_button.png
+ codepeer\cruise_filter_advanced_menu.png
+ codepeer\cruise_filter_configuration.png
+ codepeer\cruise_filter_in.png
+ codepeer\menu_analyze_all.png
+ codepeer\radar_analyze_level_4_baseline.png
+ codepeer\radar_ide_server_add_review.png
+ codepeer\radar_ide_server_start.png
+ codepeer\radar_only_display_code_review.png
+ codepeer\radar_open_gpr.png
+ codepeer\radar_refresh_project.png
+ codepeer\radar_report_current_runs.png
+ codepeer\radar_report_filter_added_only.png
+ codepeer\radar_report_filter_status.png
+ codepeer\tutorial_edit.png
+ codepeer\tutorial_edit_window.png
+ codepeer\tutorial_l26_code.png
+ codepeer\tutorial_l26_location.png
+ codepeer\tutorial_messages_low.png
+ codepeer\tutorial_messages_medium.png
+ codepeer\tutorial_next_word_annotations.png
+ codepeer\tutorial_next_word_hide_annotations.png
+ codepeer\tutorial_report.png
+ gnatcheck\rm_browser.png
+ gnatcheck\rules_comment_warning.png
+ gnatcheck\rules_editor.png
+ gnatcheck\rules_feature_usage_dialog.png
+ gnatcheck\rules_style_related_dialog.png
+ gnatcoverage\coverage_report_summary.jpg
+ gnatcoverage\coverage_view_decision-expanded.jpg
+ gnatcoverage\coverage_view_decision.jpg
+ gnatcoverage\coverage_view_mcdc.jpg
+ gnatcoverage\coverage_view_statement.jpg
+ gnatcoverage\decision_example.jpg
+ gnatcoverage\mcdc_example.jpg
+ gnatcoverage\properties_dialog.jpg
+ gnatcoverage\run_all_actions.jpg
+ gnatcoverage\statement_example.jpg
+ gnatmetric\body_results.jpg
+ gnatmetric\cyclomatic_complexity_edges_and_nodes.jpg
+ gnatmetric\project_results.jpg
+ gnatmetric\spec_results.jpg
+ gnatsas\sas_locations_view.png
+ gnattest\command_sequence_list.jpg
+ gnattest\data_structure_hierarchy.jpg
+ gnattest\do178c_ready.jpg
+ gnattest\exit_gnattest.jpg
+ gnattest\help_from_menu.jpg
+ gnattest\inventory-query-testcase.jpg
+ gnattest\invoke_gnattest.jpg
+ gnattest\invoke_gnattest_dialog.jpg
+ gnattest\naming_scheme.jpg
+ gnattest\object_directory_hierarchy.jpg
+ gnattest\run_gnattest.jpg
+ gnattest\stub2.JPG
+ gnattest\stub_before.jpg
+ gnattest\stub_level1.jpg
+ gnattest\stub_level2.jpg
+ gnattest\subdir_switch.jpg
+ gnattest\test-dir_switch.jpg
+ gnattest\tests-root_switch.jpg
+ gnattest\test_inheritance_for_tagged_types.jpg
+ gnattest\test_results.jpg
+ gnattest\what_can_be_automated.jpg
+ gnat_studio\debug_project
+ gnat_studio\expanded_code-subprogram.jpg
+ gnat_studio\right-click
+ gnat_studio\scenario
+ gnat_studio\ui
+ gnat_studio\debug_project\1.png
+ gnat_studio\debug_project\2.png
+ gnat_studio\debug_project\3.png
+ gnat_studio\right-click\expanded_code.jpg
+ gnat_studio\scenario\sdl_backend_sdl2.png
+ gnat_studio\ui\run_button.png
+ labs\solar_system
+ labs\solar_system\04_1.png
+ labs\solar_system\05_1.png
+ labs\solar_system\adv_170_class_diagram.png
+ labs\solar_system\adv_170_class_diagram_display.png
