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