Experiment Test Programs

• acats_c53007a
  • acats_c53007a.adb
  • acats_report.ads
• acats_c55c02b
  • acats_c55c02b.adb
  • acats_report.ads
• array_record_package
  • array_record_package.adb
  • array_record_package.ads
• array_subtype_index
  • array_subtype_index.adb
• arrayrecord
  • arrayrecord.adb
• assign_subtype_var
  • assign_subtype_var.adb
• binary_search
  • binary_search.adb
  • binary_search.ads
• bounded_in_out
  • bounded_in_out.adb
• dependence_test_suite_01
  • dependence_test_suite_01.adb
  • dependence_test_suite_01.ads
• dependence_test_suite_02
  • dependence_test_suite_02.adb
  • dependence_test_suite_02.ads
• division_by_non_zero
  • division_by_non_zero.adb
• factorial
  • factorial.adb
• faultintegrator
  • faultintegrator.adb
  • faultintegrator.ads
• gcd
  • gcd.adb
• gnatprove_test_bool
  • gnatprove_test_bool.adb
• linear_div
  • linear_div.adb
• max
  • max.adb
• min
  • min.adb
• modulus
  • modulus.adb
  • modulus.ads
• odd
  • odd.adb
• p_simple_call_two
  • p_simple_call_two.adb
  • p_simple_call_two.ads
• p_simple_call
  • p_simple_call.adb
  • p_simple_call.ads
• packagedemo_a
  • packagedemo_a.adb
  • packagedemo_a.ads
• prime
  • prime.adb
• proceduretest01
  • proceduretest01.adb
  • proceduretest01.ads
• quantifiertest
  • quantifiertest.adb
  • quantifiertest.ads
• recordtest01
  • recordtest01.adb
  • recordtest01.ads
• recursive_proc_pkg
  • recursive_proc_pkg.adb
  • recursive_proc_pkg.ads
• skein
  • skein.adb
  • skein.ads
• sort
  • sort.adb
  • sort.ads
• test_case_10
  • test_case_10.adb
• tetris
  • tetris.adb
  • tetris.ads
• the_stack_praxis
  • the_stack_praxis.adb
  • the_stack_praxis.ads
• the_stack
  • the_stack.adb
  • the_stack.ads
• two_way_sort
  • two_way_sort.adb
  • two_way_sort.ads