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_casenaming for files and directories - Do not use
.jpgbut.jpeg - Only image types can be stored here
- Images should be referenced in a source file, otherwise they may be flagged and removed.
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