Index of /trunk/examples/gpuverifier/testsuite
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
OpenCL_warpsync_shuffle_kernel.bpl 2017-11-16 06:20 15K
OpenCL_warpsync_scan_warp_kernel.bpl 2017-11-16 06:20 28K
OpenCL_warpsync_intragroup_scan_kernel.bpl 2017-11-16 06:20 62K
OpenCL_warpsync_broken_shuffle_kernel.bpl 2017-11-16 06:20 15K
OpenCL_warpsync_2d_kernel.bpl 2017-11-16 06:20 27K
OpenCL_vectortests_vectorswizzle_kernel.bpl 2017-11-16 06:20 4.3K
OpenCL_vectortests_vectorsplat_kernel.bpl 2017-11-16 06:20 3.9K
OpenCL_vectortests_vectorreturn_kernel.bpl 2017-11-16 06:20 6.1K
OpenCL_vectortests_vectorops_kernel.bpl 2017-11-16 06:20 4.8K
OpenCL_vectortests_vectorops2_kernel.bpl 2017-11-16 06:20 6.6K
OpenCL_vectortests_test_paren_kernel.bpl 2017-11-16 06:20 9.7K
OpenCL_vectortests_test_mul_add_kernel.bpl 2017-11-16 06:20 24K
OpenCL_vectortests_select_kernel.bpl 2017-11-16 06:20 3.8K
OpenCL_vectortests_int_vectors_big_test_kernel.bpl 2017-11-16 06:20 6.8K
OpenCL_vectortests_int4initialisation_kernel.bpl 2017-11-16 06:20 7.2K
OpenCL_vectortests_int3arrayaccess_kernel.bpl 2017-11-16 06:20 19K
OpenCL_vectortests_int2simpleaccess_kernel.bpl 2017-11-16 06:20 3.4K
OpenCL_vectortests_float8simpleaccess_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_vectortests_float4simpleaccess_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_vectortests_float4initialisation_kernel.bpl 2017-11-16 06:20 137K
OpenCL_vectortests_float4arrayaccess_kernel.bpl 2017-11-16 06:20 22K
OpenCL_vectortests_float4arithmetic_kernel.bpl 2017-11-16 06:20 34K
OpenCL_vectortests_float2simpleaccess_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_vectortests_float16simpleaccess_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_vectortests_double8simpleaccess_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_vectortests_double4simpleaccess_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_vectortests_double2simpleaccess_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_vectortests_double2arithmetic_kernel.bpl 2017-11-16 06:20 55K
OpenCL_vectortests_addressofvector_kernel.bpl 2017-11-16 06:20 5.7K
OpenCL_unusedreturn_kernel.bpl 2017-11-16 06:20 5.1K
OpenCL_unreachable_kernel.bpl 2017-11-16 06:20 7.2K
OpenCL_undef_tests_uninitialised_local_ptr_kernel.bpl 2017-11-16 06:20 3.9K
OpenCL_undef_tests_uninitialised_local_int_kernel.bpl 2017-11-16 06:20 3.6K
OpenCL_unconstrained_sizes_num_groups_kernel.bpl 2017-11-16 06:20 8.1K
OpenCL_unconstrained_sizes_local_size_kernel.bpl 2017-11-16 06:20 8.5K
OpenCL_unconstrained_sizes_global_size_kernel.bpl 2017-11-16 06:20 8.1K
OpenCL_typestest_kernel.bpl 2017-11-16 06:20 3.5K
OpenCL_transitiveclosuresimplified_kernel.bpl 2017-11-16 06:20 27K
OpenCL_transitiveclosuresimplified2_kernel.bpl 2017-11-16 06:20 28K
OpenCL_test_relational_inference_kernel.bpl 2017-11-16 06:20 14K
OpenCL_test_nooverflowing_add_signed_kernel.bpl 2017-11-16 06:20 4.3K
OpenCL_test_nooverflowing_add_predicate_kernel.bpl 2017-11-16 06:20 4.4K
OpenCL_test_nooverflowing_add_kernel.bpl 2017-11-16 06:20 4.2K
OpenCL_test_mod_invariants_local_reduce_strength_kernel.bpl 2017-11-16 06:20 22K
OpenCL_test_mod_invariants_local_direct_kernel.bpl 2017-11-16 06:20 20K
OpenCL_test_mod_invariants_global_reduce_strength_kernel.bpl 2017-11-16 06:20 17K
OpenCL_test_mod_invariants_global_direct_kernel.bpl 2017-11-16 06:20 16K
OpenCL_test_local_id_inference_kernel.bpl 2017-11-16 06:20 11K
OpenCL_test_line_number_problem_kernel.bpl 2017-11-16 06:20 14K
OpenCL_test_inline_kernel.bpl 2017-11-16 06:20 5.1K
OpenCL_test_global_id_inference_kernel.bpl 2017-11-16 06:20 14K
OpenCL_test_for_uniformity_bug_kernel.bpl 2017-11-16 06:20 6.3K
OpenCL_test_for_ssa_bug_kernel.bpl 2017-11-16 06:20 11K
OpenCL_test_for_get_group_id_kernel.bpl 2017-11-16 06:20 7.6K
OpenCL_test_for_benign_read_write_bug_kernel.bpl 2017-11-16 06:20 9.1K
OpenCL_test_float_neq_kernel.bpl 2017-11-16 06:20 3.7K
OpenCL_test_binary_stmt_kernel.bpl 2017-11-16 06:20 3.5K
OpenCL_test_address_of_bug_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_test_2d_local_index_inference_kernel.bpl 2017-11-16 06:20 24K
OpenCL_test_2d_local_index_inference_2_kernel.bpl 2017-11-16 06:20 25K
OpenCL_test_2d_global_index_inference_kernel.bpl 2017-11-16 06:20 18K
OpenCL_ternarytest_kernel.bpl 2017-11-16 06:20 9.2K
OpenCL_ternarytest2_kernel.bpl 2017-11-16 06:20 9.2K
OpenCL_sourcelocation_tests_requires_kernel.bpl 2017-11-16 06:20 5.4K
OpenCL_sourcelocation_tests_races_pass_read_read_kernel.bpl 2017-11-16 06:20 18K
OpenCL_sourcelocation_tests_races_pass_no_race_kernel.bpl 2017-11-16 06:20 20K
OpenCL_sourcelocation_tests_races_from_indirect_calls_kernel.bpl 2017-11-16 06:20 24K
OpenCL_sourcelocation_tests_races_fail_write_write_normal_kernel.bpl 2017-11-16 06:20 9.5K
OpenCL_sourcelocation_tests_races_fail_write_write_loop_kernel.bpl 2017-11-16 06:20 11K
OpenCL_sourcelocation_tests_races_fail_write_write_elem_width_16_kernel.bpl 2017-11-16 06:20 10K
OpenCL_sourcelocation_tests_races_fail_write_read_kernel.bpl 2017-11-16 06:20 14K
OpenCL_sourcelocation_tests_races_fail_read_write_kernel.bpl 2017-11-16 06:20 14K
OpenCL_sourcelocation_tests_race_with_loop_kernel.bpl 2017-11-16 06:20 11K
OpenCL_sourcelocation_tests_race_from_call_kernel.bpl 2017-11-16 06:20 12K
OpenCL_sourcelocation_tests_race_from_call_in_loop_kernel.bpl 2017-11-16 06:20 13K
OpenCL_sourcelocation_tests_race_from_bodiless_call_kernel.bpl 2017-11-16 06:20 9.6K
OpenCL_sourcelocation_tests_needs_source_location_requires_kernel.bpl 2017-11-16 06:20 11K
OpenCL_sourcelocation_tests_needs_source_location_ensures_kernel.bpl 2017-11-16 06:20 11K
OpenCL_sourcelocation_tests_loop_invariant_pass_kernel.bpl 2017-11-16 06:20 4.1K
OpenCL_sourcelocation_tests_loop_invariant_fail_maintained_kernel.bpl 2017-11-16 06:20 4.0K
OpenCL_sourcelocation_tests_loop_invariant_fail_entry_kernel.bpl 2017-11-16 06:20 4.1K
OpenCL_sourcelocation_tests_ensures_pass_kernel.bpl 2017-11-16 06:20 5.5K
OpenCL_sourcelocation_tests_ensures_fail_kernel.bpl 2017-11-16 06:20 5.5K
OpenCL_sourcelocation_tests_barrier_divergence_pass_kernel.bpl 2017-11-16 06:20 15K
OpenCL_sourcelocation_tests_barrier_divergence_fail_kernel.bpl 2017-11-16 06:20 10K
OpenCL_sourcelocation_tests_assert_kernel.bpl 2017-11-16 06:20 4.2K
OpenCL_skeletonbinomialoptions_kernel.bpl 2017-11-16 06:20 7.1K
OpenCL_simplereturn_kernel.bpl 2017-11-16 06:20 5.2K
OpenCL_simpleprocedurecall_kernel.bpl 2017-11-16 06:20 5.0K
OpenCL_simpleparampassing_kernel.bpl 2017-11-16 06:20 5.1K
OpenCL_simplebinomialoptions_kernel.bpl 2017-11-16 06:20 61K
OpenCL_simplebinomialoptions2_kernel.bpl 2017-11-16 06:20 77K
OpenCL_shared_int_kernel.bpl 2017-11-16 06:20 8.6K
OpenCL_rightshiftequals_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_return_tests_simple_return_kernel.bpl 2017-11-16 06:20 4.6K
OpenCL_return_tests_multiloop_return_simplified_kernel.bpl 2017-11-16 06:20 4.8K
OpenCL_return_tests_multiloop_return_kernel.bpl 2017-11-16 06:20 13K
OpenCL_return_tests_id_dependent_return_kernel.bpl 2017-11-16 06:20 3.7K
OpenCL_report_global_id_test2_kernel.bpl 2017-11-16 06:20 9.3K
OpenCL_report_global_id_test1_kernel.bpl 2017-11-16 06:20 11K
OpenCL_reducedstrengthnonloopbug_kernel.bpl 2017-11-16 06:20 7.4K
OpenCL_reducedstrength_generalised_kernel.bpl 2017-11-16 06:20 11K
OpenCL_privatememoryaccess_privatevariabletest_kernel.bpl 2017-11-16 06:20 6.1K
OpenCL_privatememoryaccess_privatevariabletest2_kernel.bpl 2017-11-16 06:20 3.4K
OpenCL_privatememoryaccess_privatearraytest_kernel.bpl 2017-11-16 06:20 4.6K
OpenCL_predicated_undef_kernel.bpl 2017-11-16 06:20 16K
OpenCL_pointertests_test_return_pointer_kernel.bpl 2017-11-16 06:20 11K
OpenCL_pointertests_test_pass_value_from_array_kernel.bpl 2017-11-16 06:20 8.4K
OpenCL_pointertests_test_pass_address_of_local_kernel.bpl 2017-11-16 06:20 5.8K
OpenCL_pointertests_test_opencl_local_param_kernel.bpl 2017-11-16 06:20 11K
OpenCL_pointertests_test_opencl_local_array_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_pointertests_test_derived_from_binomial_opts_kernel.bpl 2017-11-16 06:20 27K
OpenCL_pointertests_test_dereference_address_of_kernel.bpl 2017-11-16 06:20 3.4K
OpenCL_pointertests_test_copy_between_memory_spaces_kernel.bpl 2017-11-16 06:20 14K
OpenCL_pointertests_test_copy_between_memory_spaces2_kernel.bpl 2017-11-16 06:20 14K
OpenCL_pointertests_pointerarith_kernel.bpl 2017-11-16 06:20 6.6K
OpenCL_pointertests_param_addressof_kernel.bpl 2017-11-16 06:20 11K
OpenCL_pointeranalysistests_testinterprocedural_kernel.bpl 2017-11-16 06:20 19K
OpenCL_pointeranalysistests_testinterprocedural_inlined_kernel.bpl 2017-11-16 06:20 20K
OpenCL_pointeranalysistests_testinterprocedural2_kernel.bpl 2017-11-16 06:20 28K
OpenCL_pointeranalysistests_testbasicpointerarithmetic_kernel.bpl 2017-11-16 06:20 12K
OpenCL_pointeranalysistests_testbasicpointerarithmetic2_kernel.bpl 2017-11-16 06:20 15K
OpenCL_pointeranalysistests_testbasicaliasing_kernel.bpl 2017-11-16 06:20 16K
OpenCL_pointeranalysistests_testbasicaliasing2_kernel.bpl 2017-11-16 06:20 19K
OpenCL_pointeranalysistests_manyproceduresinlined_kernel.bpl 2017-11-16 06:20 41K
OpenCL_pointeranalysistests_manyprocedures_kernel.bpl 2017-11-16 06:20 48K
OpenCL_null_statement_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_null_pointers_store_to_null_and_non_null_kernel.bpl 2017-11-16 06:20 7.9K
OpenCL_null_pointers_null_pointer_use_in_function_kernel.bpl 2017-11-16 06:20 7.3K
OpenCL_null_pointers_null_pointer_use_in_function_inline_kernel.bpl 2017-11-16 06:20 3.8K
OpenCL_null_pointers_null_pointer_greater_kernel.bpl 2017-11-16 06:20 13K
OpenCL_null_pointers_null_pointer_choice_kernel.bpl 2017-11-16 06:20 4.2K
OpenCL_null_pointers_null_pointer_assignment_unequal_kernel.bpl 2017-11-16 06:20 9.4K
OpenCL_null_pointers_null_pointer_assignment_kernel.bpl 2017-11-16 06:20 5.2K
OpenCL_null_pointers_null_pointer_assignment_function_kernel.bpl 2017-11-16 06:20 7.1K
OpenCL_null_pointers_null_pointer_assignment_equal_kernel.bpl 2017-11-16 06:20 9.4K
OpenCL_null_pointers_non_null_pointer_assignment_kernel.bpl 2017-11-16 06:20 13K
OpenCL_null_pointers_non_null_pointer_assignment_2_kernel.bpl 2017-11-16 06:20 6.1K
OpenCL_null_pointers_load_from_null_kernel.bpl 2017-11-16 06:20 6.7K
OpenCL_null_pointers_function_prototype_or_local_kernel.bpl 2017-11-16 06:20 19K
OpenCL_null_pointers_function_prototype_kernel.bpl 2017-11-16 06:20 12K
OpenCL_null_pointers_atomic_null_kernel.bpl 2017-11-16 06:20 3.4K
OpenCL_notunaryoptest_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_notunaryoptest2_kernel.bpl 2017-11-16 06:20 3.5K
OpenCL_noraceduetoreturn_kernel.bpl 2017-11-16 06:20 12K
OpenCL_nonterminating_kernel.bpl 2017-11-16 06:20 3.6K
OpenCL_no_log_pass_kernel.bpl 2017-11-16 06:20 8.1K
OpenCL_no_log_fail_kernel.bpl 2017-11-16 06:20 8.3K
OpenCL_multiplelocals_kernel.bpl 2017-11-16 06:20 6.6K
OpenCL_multiplelocals2_kernel.bpl 2017-11-16 06:20 4.4K
OpenCL_multidimarrays_test5_kernel.bpl 2017-11-16 06:20 7.6K
OpenCL_multidimarrays_test4_kernel.bpl 2017-11-16 06:20 9.4K
OpenCL_multidimarrays_test3_kernel.bpl 2017-11-16 06:20 7.9K
OpenCL_multidimarrays_test2_kernel.bpl 2017-11-16 06:20 9.0K
OpenCL_multidimarrays_test1_kernel.bpl 2017-11-16 06:20 7.9K
OpenCL_modifyparam_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_misc_pass_misc9_kernel.bpl 2017-11-16 06:20 13K
OpenCL_misc_pass_misc8_kernel.bpl 2017-11-16 06:20 10K
OpenCL_misc_pass_misc7_kernel.bpl 2017-11-16 06:20 26K
OpenCL_misc_pass_misc6_kernel.bpl 2017-11-16 06:20 18K
OpenCL_misc_pass_misc5_kernel.bpl 2017-11-16 06:20 6.5K
OpenCL_misc_pass_misc4_kernel.bpl 2017-11-16 06:20 6.1K
OpenCL_misc_pass_misc3_kernel.bpl 2017-11-16 06:20 11K
OpenCL_misc_pass_misc2_kernel.bpl 2017-11-16 06:20 13K
OpenCL_misc_pass_misc1_kernel.bpl 2017-11-16 06:20 11K
OpenCL_misc_pass_misc19_kernel.bpl 2017-11-16 06:20 4.4K
OpenCL_misc_pass_misc18_kernel.bpl 2017-11-16 06:20 21K
OpenCL_misc_pass_misc17_kernel.bpl 2017-11-16 06:20 4.7K
OpenCL_misc_pass_misc16_kernel.bpl 2017-11-16 06:20 18K
OpenCL_misc_pass_misc15_kernel.bpl 2017-11-16 06:20 9.2K
OpenCL_misc_pass_misc14_kernel.bpl 2017-11-16 06:20 13K
OpenCL_misc_pass_misc13_kernel.bpl 2017-11-16 06:20 8.3K
OpenCL_misc_pass_misc12_kernel.bpl 2017-11-16 06:20 5.9K
OpenCL_misc_pass_misc11_kernel.bpl 2017-11-16 06:20 9.0K
OpenCL_misc_pass_misc10_kernel.bpl 2017-11-16 06:20 13K
OpenCL_misc_fail_vector_element_race_kernel.bpl 2017-11-16 06:20 10K
OpenCL_misc_fail_struct_member_race_kernel.bpl 2017-11-16 06:20 7.5K
OpenCL_misc_fail_miscfail9_kernel.bpl 2017-11-16 06:20 7.7K
OpenCL_misc_fail_miscfail8_kernel.bpl 2017-11-16 06:20 9.3K
OpenCL_misc_fail_miscfail7_kernel.bpl 2017-11-16 06:20 4.2K
OpenCL_misc_fail_miscfail6_kernel.bpl 2017-11-16 06:20 10K
OpenCL_misc_fail_miscfail5_kernel.bpl 2017-11-16 06:20 5.5K
OpenCL_misc_fail_miscfail3_kernel.bpl 2017-11-16 06:20 11K
OpenCL_misc_fail_miscfail1_kernel.bpl 2017-11-16 06:20 19K
OpenCL_misc_fail_miscfail11_kernel.bpl 2017-11-16 06:20 11K
OpenCL_misc_fail_miscfail10_kernel.bpl 2017-11-16 06:20 20K
OpenCL_misc_fail_loop_abstraction_traces_2_kernel.bpl 2017-11-16 06:20 5.8K
OpenCL_misc_fail_loop_abstraction_traces_1_kernel.bpl 2017-11-16 06:20 5.1K
OpenCL_misc_fail_4d_array_with_casting_kernel.bpl 2017-11-16 06:20 17K
OpenCL_misc_fail_4d_array_race_kernel.bpl 2017-11-16 06:20 12K
OpenCL_misc_fail_4d_array_of_vectors_race_kernel.bpl 2017-11-16 06:20 17K
OpenCL_misc_fail_4d_array_of_structs_race_kernel.bpl 2017-11-16 06:20 12K
OpenCL_misc_fail_2d_array_race_kernel.bpl 2017-11-16 06:20 18K
OpenCL_mem_fence_kernel.bpl 2017-11-16 06:20 4.0K
OpenCL_localmultidimarraydecl_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_localarrayaccess_kernel.bpl 2017-11-16 06:20 10K
OpenCL_leftshiftequals_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_k-induction_amazingreduction_kernel.bpl 2017-11-16 06:20 14K
OpenCL_k-induction_alldifferent_kernel.bpl 2017-11-16 06:20 4.5K
OpenCL_k-induction_alldifferent-k-too-small_kernel.bpl 2017-11-16 06:20 4.5K
OpenCL_inter_group_and_barrier_flag_tests_pass_write_then_read_kernel.bpl 2017-11-16 06:20 12K
OpenCL_inter_group_and_barrier_flag_tests_pass_sync_within_group_kernel.bpl 2017-11-16 06:20 11K
OpenCL_inter_group_and_barrier_flag_tests_pass_read_then_write_kernel.bpl 2017-11-16 06:20 12K
OpenCL_inter_group_and_barrier_flag_tests_pass_pass_due_to_intra_group_flag_kernel.bpl 2017-11-16 06:20 7.1K
OpenCL_inter_group_and_barrier_flag_tests_pass_local_id_benign_write_write_kernel.bpl 2017-11-16 06:20 7.2K
OpenCL_inter_group_and_barrier_flag_tests_pass_local_barrier_flag_kernel.bpl 2017-11-16 06:20 11K
OpenCL_inter_group_and_barrier_flag_tests_pass_global_barrier_kernel.bpl 2017-11-16 06:20 11K
OpenCL_inter_group_and_barrier_flag_tests_fail_sync_within_group_wrong_flag_kernel.bpl 2017-11-16 06:20 11K
OpenCL_inter_group_and_barrier_flag_tests_fail_sync_kernel.bpl 2017-11-16 06:20 10K
OpenCL_inter_group_and_barrier_flag_tests_fail_no_barrier_flags_kernel.bpl 2017-11-16 06:20 11K
OpenCL_inter_group_and_barrier_flag_tests_fail_missing_local_barrier_flag_kernel.bpl 2017-11-16 06:20 11K
OpenCL_inter_group_and_barrier_flag_tests_fail_missing_global_barrier_flag_kernel.bpl 2017-11-16 06:20 11K
OpenCL_inter_group_and_barrier_flag_tests_fail_local_id_kernel.bpl 2017-11-16 06:20 7.2K
OpenCL_inter_group_and_barrier_flag_tests_fail_bad_write_then_read_kernel.bpl 2017-11-16 06:20 12K
OpenCL_inter_group_and_barrier_flag_tests_fail_bad_read_then_write_kernel.bpl 2017-11-16 06:20 12K
OpenCL_inference_tests_strided_invariant_kernel.bpl 2017-11-16 06:20 9.0K
OpenCL_inference_tests_strided_invariant_2_kernel.bpl 2017-11-16 06:20 9.7K
OpenCL_inference_tests_lower_bound_kernel.bpl 2017-11-16 06:20 4.3K
OpenCL_inference_tests_enabled_invariant_kernel.bpl 2017-11-16 06:20 7.6K
OpenCL_inference_tests_disabled_invariant_kernel.bpl 2017-11-16 06:20 20K
OpenCL_inference_tests_access_means_enabled_kernel.bpl 2017-11-16 06:20 21K
OpenCL_induction_variable_kernel.bpl 2017-11-16 06:20 9.9K
OpenCL_imagetests_test2dimagecopy_kernel.bpl 2017-11-16 06:20 21K
OpenCL_imagetests_fail2dimagecopy_kernel.bpl 2017-11-16 06:20 19K
OpenCL_globalarray_pass_kernel.bpl 2017-11-16 06:20 13K
OpenCL_globalarray_pass2_kernel.bpl 2017-11-16 06:20 9.2K
OpenCL_globalarray_fail_kernel.bpl 2017-11-16 06:20 27K
OpenCL_global_size_simple_kernel.bpl 2017-11-16 06:20 8.6K
OpenCL_get_global_offset_kernel.bpl 2017-11-16 06:20 4.2K
OpenCL_get_global_id_kernel.bpl 2017-11-16 06:20 8.5K
OpenCL_function_wide_pass_uses_uninterpreted_function_kernel.bpl 2017-11-16 06:20 3.4K
OpenCL_function_wide_pass_uses_array_element_kernel.bpl 2017-11-16 06:20 11K
OpenCL_function_wide_pass_candidates_kernel.bpl 2017-11-16 06:20 17K
OpenCL_function_wide_pass_as_candidates_kernel.bpl 2017-11-16 06:20 17K
OpenCL_function_wide_fail_assert_false_kernel.bpl 2017-11-16 06:20 3.4K
OpenCL_floatrelationalop_kernel.bpl 2017-11-16 06:20 3.6K
OpenCL_floatcastrequired_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_float_constant_test_kernel.bpl 2017-11-16 06:20 3.6K
OpenCL_float_constant_test2_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_fail_bodiless_procedure_kernel.bpl 2017-11-16 06:20 4.5K
OpenCL_enabled_not_predicated_procedure_kernel.bpl 2017-11-16 06:20 8.8K
OpenCL_enabled_not_predicated_kernel.bpl 2017-11-16 06:20 6.7K
OpenCL_enabled_dominator_kernel.bpl 2017-11-16 06:20 22K
OpenCL_divergence_race_no_divergence_kernel.bpl 2017-11-16 06:20 5.7K
OpenCL_divergence_race_and_divergence_kernel.bpl 2017-11-16 06:20 6.4K
OpenCL_derivedfrombinomialoptions_kernel.bpl 2017-11-16 06:20 29K
OpenCL_derivedfrombinomialoptions2_kernel.bpl 2017-11-16 06:20 6.7K
OpenCL_derived_from_uniformity_analysis_bug_kernel.bpl 2017-11-16 06:20 8.5K
OpenCL_constantnotparam_kernel.bpl 2017-11-16 06:20 9.1K
OpenCL_conditional_int_test_kernel.bpl 2017-11-16 06:20 3.8K
OpenCL_checkarrays_pass_specifyone_kernel.bpl 2017-11-16 06:20 9.9K
OpenCL_checkarrays_pass_specifyall_kernel.bpl 2017-11-16 06:20 19K
OpenCL_ceil_kernel.bpl 2017-11-16 06:20 12K
OpenCL_casttofloat_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_break_test_kernel.bpl 2017-11-16 06:20 5.1K
OpenCL_bpl_integration_pass_combined.bpl 2017-11-16 06:20 3.6K
OpenCL_booleanTests_kernel.bpl 2017-11-16 06:20 5.6K
OpenCL_bool_bv_test_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_bitxor_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_bitor_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_bitnot_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_bitand_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_benign_race_tests_pass_writezero_kernel.bpl 2017-11-16 06:20 13K
OpenCL_benign_race_tests_pass_writewritearray_kernel.bpl 2017-11-16 06:20 13K
OpenCL_benign_race_tests_pass_writetiddiv64_kernel.bpl 2017-11-16 06:20 8.6K
OpenCL_benign_race_tests_pass_writeafterread_kernel.bpl 2017-11-16 06:20 9.0K
OpenCL_benign_race_tests_pass_readafterwrite_kernel.bpl 2017-11-16 06:20 14K
OpenCL_benign_race_tests_fail_writezero_nobenign_kernel.bpl 2017-11-16 06:20 10K
OpenCL_benign_race_tests_fail_writewritearray_adversarial_kernel.bpl 2017-11-16 06:20 13K
OpenCL_benign_race_tests_fail_writetiddiv64_offbyone_kernel.bpl 2017-11-16 06:20 8.5K
OpenCL_benign_race_tests_fail_writereadarray_equality_kernel.bpl 2017-11-16 06:20 9.4K
OpenCL_benign_race_tests_fail_writeafterread_otherval_kernel.bpl 2017-11-16 06:20 14K
OpenCL_benign_race_tests_fail_writeafterread_addition_kernel.bpl 2017-11-16 06:20 9.1K
OpenCL_basicglobalarray_kernel.bpl 2017-11-16 06:20 7.6K
OpenCL_basicbarrier_kernel.bpl 2017-11-16 06:20 3.9K
OpenCL_basic1_kernel.bpl 2017-11-16 06:20 3.3K
OpenCL_barrierconditionalkernelparam_kernel.bpl 2017-11-16 06:20 4.2K
OpenCL_barrier_invariants_wrap_around_kernel.bpl 2017-11-16 06:20 21K
OpenCL_barrier_invariants_tid_barrier_invariant_kernel.bpl 2017-11-16 06:20 12K
OpenCL_barrier_invariants_test_all_unary_low_kernel.bpl 2017-11-16 06:20 59K
OpenCL_barrier_invariants_test_all_unary_high_kernel.bpl 2017-11-16 06:20 65K
OpenCL_barrier_invariants_ternary_kernel.bpl 2017-11-16 06:20 27K
OpenCL_barrier_invariants_no_access_check_kernel.bpl 2017-11-16 06:20 14K
OpenCL_barrier_invariants_jeroen_bug_kernel.bpl 2017-11-16 06:20 15K
OpenCL_barrier_invariants_global_array_kernel.bpl 2017-11-16 06:20 11K
OpenCL_barrier_invariants_ghost_array_kernel.bpl 2017-11-16 06:20 22K
OpenCL_barrier_invariants_fail_kernel.bpl 2017-11-16 06:20 11K
OpenCL_barrier_invariants_conditional_barrier_invariant_kernel.bpl 2017-11-16 06:20 16K
OpenCL_barrier_invariants_all_different_loop_kernel.bpl 2017-11-16 06:20 18K
OpenCL_barrier_invariants_all_different_kernel.bpl 2017-11-16 06:20 27K
OpenCL_barrier_invariants_add_zero_kernel.bpl 2017-11-16 06:20 19K
OpenCL_barrier_intervals_test4_kernel.bpl 2017-11-16 06:20 27K
OpenCL_barrier_intervals_test3_kernel.bpl 2017-11-16 06:20 19K
OpenCL_barrier_intervals_test2_kernel.bpl 2017-11-16 06:20 13K
OpenCL_barrier_intervals_test1_kernel.bpl 2017-11-16 06:20 12K
OpenCL_atomics_refined_atomic_abstraction_predication_kernel.bpl 2017-11-16 06:20 14K
OpenCL_atomics_refined_atomic_abstraction_one_access_kernel.bpl 2017-11-16 06:20 24K
OpenCL_atomics_refined_atomic_abstraction_many_accesses_kernel.bpl 2017-11-16 06:20 34K
OpenCL_atomics_refined_atomic_abstraction_check_used_treated_ok_kernel.bpl 2017-11-16 06:20 10K
OpenCL_atomics_refined_atomic_abstraction_bad_local_counters_kernel.bpl 2017-11-16 06:20 14K
OpenCL_atomics_refined_atomic_abstraction_access_in_loop_kernel.bpl 2017-11-16 06:20 27K
OpenCL_atomics_pointers_kernel.bpl 2017-11-16 06:20 16K
OpenCL_atomics_histo_kernel.bpl 2017-11-16 06:20 13K
OpenCL_atomics_forloop_kernel.bpl 2017-11-16 06:20 15K
OpenCL_atomics_definitions_long_kernel.bpl 2017-11-16 06:20 34K
OpenCL_atomics_definitions_int_kernel.bpl 2017-11-16 06:20 34K
OpenCL_atomics_definitions_float_kernel.bpl 2017-11-16 06:20 12K
OpenCL_atomics_definitions_atom_int_kernel.bpl 2017-11-16 06:20 34K
OpenCL_atomics_counter_kernel.bpl 2017-11-16 06:20 16K
OpenCL_atomics_atomic_read_race_kernel.bpl 2017-11-16 06:20 9.2K
OpenCL_async_work_group_copy_pass_test5_kernel.bpl 2017-11-16 06:20 31K
OpenCL_async_work_group_copy_pass_test4_kernel.bpl 2017-11-16 06:20 50K
OpenCL_async_work_group_copy_pass_test3_kernel.bpl 2017-11-16 06:20 41K
OpenCL_async_work_group_copy_pass_test2_kernel.bpl 2017-11-16 06:20 42K
OpenCL_async_work_group_copy_pass_test1_kernel.bpl 2017-11-16 06:20 23K
OpenCL_async_work_group_copy_fail_test9_kernel.bpl 2017-11-16 06:20 38K
OpenCL_async_work_group_copy_fail_test7_kernel.bpl 2017-11-16 06:20 23K
OpenCL_async_work_group_copy_fail_test6_kernel.bpl 2017-11-16 06:20 23K
OpenCL_async_work_group_copy_fail_test5_kernel.bpl 2017-11-16 06:20 57K
OpenCL_async_work_group_copy_fail_test4_kernel.bpl 2017-11-16 06:20 54K
OpenCL_async_work_group_copy_fail_test3_kernel.bpl 2017-11-16 06:20 38K
OpenCL_async_work_group_copy_fail_test2_kernel.bpl 2017-11-16 06:20 38K
OpenCL_async_work_group_copy_fail_test1_kernel.bpl 2017-11-16 06:20 20K
OpenCL_async_work_group_copy_fail_test14_kernel.bpl 2017-11-16 06:20 39K
OpenCL_async_work_group_copy_fail_test13_kernel.bpl 2017-11-16 06:20 28K
OpenCL_async_work_group_copy_fail_test12_kernel.bpl 2017-11-16 06:20 54K
OpenCL_async_work_group_copy_fail_test11_kernel.bpl 2017-11-16 06:20 41K
OpenCL_async_work_group_copy_fail_test10_kernel.bpl 2017-11-16 06:20 23K
OpenCL_asymmetric_asserts_pass_kernel.bpl 2017-11-16 06:20 5.8K
OpenCL_asymmetric_asserts_fail_kernel.bpl 2017-11-16 06:20 5.5K
OpenCL_arraycopy_kernel.bpl 2017-11-16 06:20 12K
OpenCL_array_bounds_tests_simple_array_kernel.bpl 2017-11-16 06:20 9.8K
OpenCL_array_bounds_tests_simple_array_fail_var_kernel.bpl 2017-11-16 06:20 9.5K
OpenCL_array_bounds_tests_simple_array_fail_upper_kernel.bpl 2017-11-16 06:20 9.8K
OpenCL_array_bounds_tests_simple_array_fail_lower_kernel.bpl 2017-11-16 06:20 10K
OpenCL_array_bounds_tests_realign_simple_kernel.bpl 2017-11-16 06:20 9.8K
OpenCL_array_bounds_tests_realign_simple_fail_kernel.bpl 2017-11-16 06:20 9.8K
OpenCL_array_bounds_tests_private_array_kernel.bpl 2017-11-16 06:20 4.5K
OpenCL_array_bounds_tests_negative_index_multi_dim_kernel.bpl 2017-11-16 06:20 10K
OpenCL_array_bounds_tests_negative_index_multi_dim_fail_kernel.bpl 2017-11-16 06:20 11K
OpenCL_array_bounds_tests_multi_dim_array_kernel.bpl 2017-11-16 06:20 9.6K
OpenCL_array_bounds_tests_multi_dim_array_fail_upper_kernel.bpl 2017-11-16 06:20 10K
OpenCL_array_bounds_tests_array_in_array_param_kernel.bpl 2017-11-16 06:20 13K
OpenCL_array_bounds_tests_array_in_array_kernel.bpl 2017-11-16 06:20 14K
OpenCL_array_bounds_tests_array_in_array_2_kernel.bpl 2017-11-16 06:20 9.3K
OpenCL_annotation_tests_test_write_local_kernel.bpl 2017-11-16 06:20 13K
OpenCL_annotation_tests_test_write_local_fail_kernel.bpl 2017-11-16 06:20 13K
OpenCL_annotation_tests_test_write_global_kernel.bpl 2017-11-16 06:20 11K
OpenCL_annotation_tests_test_write_global_fail_kernel.bpl 2017-11-16 06:20 11K
OpenCL_annotation_tests_test_while_loop_invariant_kernel.bpl 2017-11-16 06:20 5.1K
OpenCL_annotation_tests_test_requires_kernel.bpl 2017-11-16 06:20 6.7K
OpenCL_annotation_tests_test_read_offset_kernel.bpl 2017-11-16 06:20 8.1K
OpenCL_annotation_tests_test_read_offset_global_kernel.bpl 2017-11-16 06:20 12K
OpenCL_annotation_tests_test_read_local_kernel.bpl 2017-11-16 06:20 13K
OpenCL_annotation_tests_test_read_local_fail_kernel.bpl 2017-11-16 06:20 14K
OpenCL_annotation_tests_test_read_global_kernel.bpl 2017-11-16 06:20 11K
OpenCL_annotation_tests_test_read_global_fail_kernel.bpl 2017-11-16 06:20 13K
OpenCL_annotation_tests_test_ptr_offset_kernel.bpl 2017-11-16 06:20 9.6K
OpenCL_annotation_tests_test_precondition_on_kernel_kernel.bpl 2017-11-16 06:20 5.2K
OpenCL_annotation_tests_test_old_kernel.bpl 2017-11-16 06:20 5.1K
OpenCL_annotation_tests_test_loop_invariant_then_assert_kernel.bpl 2017-11-16 06:20 4.2K
OpenCL_annotation_tests_test_loop_invariant_then_assert2_kernel.bpl 2017-11-16 06:20 5.8K
OpenCL_annotation_tests_test_function_wide_invariant_kernel.bpl 2017-11-16 06:20 12K
OpenCL_annotation_tests_test_for_loop_invariant_kernel.bpl 2017-11-16 06:20 4.9K
OpenCL_annotation_tests_test_exclusive_kernel.bpl 2017-11-16 06:20 7.5K
OpenCL_annotation_tests_test_ensures_kernel.bpl 2017-11-16 06:20 6.3K
OpenCL_annotation_tests_test_enabled_and_uniform_kernel.bpl 2017-11-16 06:20 7.6K
OpenCL_annotation_tests_test_distinct_kernel.bpl 2017-11-16 06:20 5.5K
OpenCL_annotation_tests_test_contract_kernel.bpl 2017-11-16 06:20 5.6K
OpenCL_annotation_tests_test_candidate_invariant_kernel.bpl 2017-11-16 06:20 5.4K
OpenCL_annotation_tests_test_candidate_global_invariant_kernel.bpl 2017-11-16 06:20 10K
OpenCL_annotation_tests_test_axiom_kernel.bpl 2017-11-16 06:20 7.6K
OpenCL_annotation_tests_test_assume_kernel.bpl 2017-11-16 06:20 5.3K
OpenCL_annotation_tests_test_assume_false_kernel.bpl 2017-11-16 06:20 3.4K
OpenCL_annotation_tests_test_assert_true_kernel.bpl 2017-11-16 06:20 3.4K
OpenCL_annotation_tests_test_assert_kernel.bpl 2017-11-16 06:20 5.4K
OpenCL_annotation_tests_test_all_kernel.bpl 2017-11-16 06:20 7.3K
OpenCL_annotation_tests_specification_tests_pass_value_related_spec_kernel.bpl 2017-11-16 06:20 11K
OpenCL_annotation_tests_specification_tests_pass_vacuous_spec_kernel.bpl 2017-11-16 06:20 9.3K
OpenCL_annotation_tests_specification_tests_pass_simple_spec_kernel.bpl 2017-11-16 06:20 8.5K
OpenCL_annotation_tests_specification_tests_fail_bad_write_kernel.bpl 2017-11-16 06:20 8.3K
OpenCL_annotation_tests_shared_state_invariant_tests_simple_shared_state_invariant_kernel.bpl 2017-11-16 06:20 11K
OpenCL_annotation_tests_shared_state_invariant_tests_shared_state_two_arrays_kernel.bpl 2017-11-16 06:20 19K
OpenCL_annotation_tests_only_requires_kernel.bpl 2017-11-16 06:20 9.0K
OpenCL_annotation_tests_no_annotations_kernel.bpl 2017-11-16 06:20 3.9K
OpenCL_annotation_tests_ite_kernel.bpl 2017-11-16 06:20 12K
OpenCL_annotation_tests_invariants_as_candidates_kernel.bpl 2017-11-16 06:20 4.0K
OpenCL_annotation_tests_global_requires_pass_kernel.bpl 2017-11-16 06:20 5.8K
OpenCL_annotation_tests_global_requires_fail_kernel.bpl 2017-11-16 06:20 8.1K
OpenCL_annotation_tests_global_ensures_pass_kernel.bpl 2017-11-16 06:20 10K
OpenCL_annotation_tests_global_ensures_fail_kernel.bpl 2017-11-16 06:20 13K
OpenCL_annotation_tests_fail_read_offset_global_kernel.bpl 2017-11-16 06:20 6.8K
OpenCL_annotation_tests_fail_ptr_offset_kernel.bpl 2017-11-16 06:20 8.9K
OpenCL_annotation_tests_fail_function_wide_invariant_kernel.bpl 2017-11-16 06:20 11K
OpenCL_annotation_tests_fail_assume_true_kernel.bpl 2017-11-16 06:20 3.4K
OpenCL_annotation_tests_fail_assert_false_kernel.bpl 2017-11-16 06:20 3.4K
OpenCL_always_inline_kernel.bpl 2017-11-16 06:20 5.1K
OpenCL_alignment_race_location_kernel.bpl 2017-11-16 06:20 8.7K
OpenCL_alignment_int3int4_kernel.bpl 2017-11-16 06:20 11K
OpenCL_alignment_initialisation_kernel.bpl 2017-11-16 06:20 4.9K
OpenCL_addressofread_kernel.bpl 2017-11-16 06:20 6.1K
OpenCL_addressofinit_kernel.bpl 2017-11-16 06:20 5.8K
OpenCL_abstract_add_zero_combined.bpl 2017-11-16 06:20 3.7K
OpenCL_abstract_add_increasing_combined.bpl 2017-11-16 06:20 4.0K
OpenCL_abstract_add_fail_decreasing_combined.bpl 2017-11-16 06:20 3.7K
OpenCL_abstract_add_associativity_short_combined.bpl 2017-11-16 06:20 4.0K
OpenCL_abstract_add_associativity_combined.bpl 2017-11-16 06:20 3.9K
OpenCL_abstract_add_associativity_char_combined.bpl 2017-11-16 06:20 4.1K
CUDA_warpsync_shuffle_kernel.bpl 2017-11-16 06:20 13K
CUDA_warpsync_scan_warp_kernel.bpl 2017-11-16 06:20 23K
CUDA_warpsync_refined_equality_abstraction_kernel.bpl 2017-11-16 06:20 20K
CUDA_warpsync_intragroup_scan_kernel.bpl 2017-11-16 06:20 36K
CUDA_warpsync_equality_abstraction_issue_kernel.bpl 2017-11-16 06:20 16K
CUDA_warpsync_broken_shuffle_kernel.bpl 2017-11-16 06:20 13K
CUDA_warpsync_bad_inter_group_kernel.bpl 2017-11-16 06:20 14K
CUDA_warpsync_2d_kernel.bpl 2017-11-16 06:20 27K
CUDA_unusedreturn_kernel.bpl 2017-11-16 06:20 4.8K
CUDA_transitiveclosure_kernel.bpl 2017-11-16 06:20 32K
CUDA_threadfence_kernel.bpl 2017-11-16 06:20 3.2K
CUDA_test_for_get_group_id_kernel.bpl 2017-11-16 06:20 7.3K
CUDA_ternarytest_kernel.bpl 2017-11-16 06:20 7.6K
CUDA_ternarytest2_kernel.bpl 2017-11-16 06:20 7.6K
CUDA_struct_kernel.bpl 2017-11-16 06:20 3.4K
CUDA_simplereturn_kernel.bpl 2017-11-16 06:20 4.9K
CUDA_simpleparampassing_kernel.bpl 2017-11-16 06:20 4.8K
CUDA_scope_kernel.bpl 2017-11-16 06:20 23K
CUDA_reduced_strength_with_requires_kernel.bpl 2017-11-16 06:20 9.1K
CUDA_reduced_strength_blockwise_kernel.bpl 2017-11-16 06:20 11K
CUDA_predication_test2_kernel.bpl 2017-11-16 06:20 8.6K
CUDA_predication_test1_kernel.bpl 2017-11-16 06:20 5.9K
CUDA_pointertests_test_pass_value_from_array_kernel.bpl 2017-11-16 06:20 8.2K
CUDA_pointertests_test_copy_between_pointers_kernel.bpl 2017-11-16 06:20 12K
CUDA_pointertests_test_copy_between_memory_spaces_kernel.bpl 2017-11-16 06:20 12K
CUDA_pointertests_test_bad_pointer_procedure_call_kernel.bpl 2017-11-16 06:20 13K
CUDA_pointertests_test9_kernel.bpl 2017-11-16 06:20 8.7K
CUDA_pointertests_test8_kernel.bpl 2017-11-16 06:20 8.7K
CUDA_pointertests_test7_kernel.bpl 2017-11-16 06:20 3.0K
CUDA_pointertests_test6_kernel.bpl 2017-11-16 06:20 9.5K
CUDA_pointertests_test5_kernel.bpl 2017-11-16 06:20 9.5K
CUDA_pointertests_test4_kernel.bpl 2017-11-16 06:20 8.9K
CUDA_pointertests_test3_kernel.bpl 2017-11-16 06:20 7.0K
CUDA_pointertests_test2_kernel.bpl 2017-11-16 06:20 6.9K
CUDA_pointertests_test1_kernel.bpl 2017-11-16 06:20 6.9K
CUDA_pointertests_test14_kernel.bpl 2017-11-16 06:20 11K
CUDA_pointertests_test13_kernel.bpl 2017-11-16 06:20 7.1K
CUDA_pointertests_test12_kernel.bpl 2017-11-16 06:20 24K
CUDA_pointertests_test11_kernel.bpl 2017-11-16 06:20 12K
CUDA_pointertests_test10_kernel.bpl 2017-11-16 06:20 8.8K
CUDA_pointertests_scanlargelike_kernel.bpl 2017-11-16 06:20 8.7K
CUDA_pointertests_cast_kernel.bpl 2017-11-16 06:20 16K
CUDA_pointers_in_structs_test4_kernel.bpl 2017-11-16 06:20 81K
CUDA_pointers_in_structs_test3_kernel.bpl 2017-11-16 06:20 23K
CUDA_pointers_in_structs_test2_kernel.bpl 2017-11-16 06:20 22K
CUDA_pointers_in_structs_test1_kernel.bpl 2017-11-16 06:20 21K
CUDA_pointeranalysistests_testinterprocedural_kernel.bpl 2017-11-16 06:20 12K
CUDA_pointeranalysistests_testinterprocedural3_kernel.bpl 2017-11-16 06:20 25K
CUDA_pointeranalysistests_testinterprocedural2_kernel.bpl 2017-11-16 06:20 12K
CUDA_pointeranalysistests_testbasicaliasing_kernel.bpl 2017-11-16 06:20 17K
CUDA_param_values_value_in_assert_kernel.bpl 2017-11-16 06:20 3.3K
CUDA_param_values_value_causing_race_kernel.bpl 2017-11-16 06:20 8.7K
CUDA_notunaryoptest_kernel.bpl 2017-11-16 06:20 3.0K
CUDA_noraceduetoreturn_kernel.bpl 2017-11-16 06:20 9.8K
CUDA_nonpointerparameter2_kernel.bpl 2017-11-16 06:20 4.8K
CUDA_nonpointerparameter1_kernel.bpl 2017-11-16 06:20 3.0K
CUDA_nestedinline_kernel.bpl 2017-11-16 06:20 3.0K
CUDA_multiplelocals_kernel.bpl 2017-11-16 06:20 3.0K
CUDA_mul24_kernel.bpl 2017-11-16 06:20 11K
CUDA_misc_pass_misc8_kernel.bpl 2017-11-16 06:20 33K
CUDA_misc_pass_misc7_kernel.bpl 2017-11-16 06:20 7.0K
CUDA_misc_pass_misc6_kernel.bpl 2017-11-16 06:20 5.4K
CUDA_misc_pass_misc5_kernel.bpl 2017-11-16 06:20 8.7K
CUDA_misc_pass_misc4_kernel.bpl 2017-11-16 06:20 5.6K
CUDA_misc_pass_misc3_kernel.bpl 2017-11-16 06:20 6.7K
CUDA_misc_pass_misc2_kernel.bpl 2017-11-16 06:20 7.1K
CUDA_misc_pass_misc1_kernel.bpl 2017-11-16 06:20 17K
CUDA_misc_fail_miscfail8_kernel.bpl 2017-11-16 06:20 4.7K
CUDA_misc_fail_miscfail7_kernel.bpl 2017-11-16 06:20 12K
CUDA_misc_fail_miscfail6_kernel.bpl 2017-11-16 06:20 11K
CUDA_misc_fail_miscfail5_kernel.bpl 2017-11-16 06:20 6.9K
CUDA_misc_fail_miscfail4_kernel.bpl 2017-11-16 06:20 8.2K
CUDA_misc_fail_miscfail3_kernel.bpl 2017-11-16 06:20 10K
CUDA_misc_fail_miscfail2_kernel.bpl 2017-11-16 06:20 28K
CUDA_memset_null_dst_kernel.bpl 2017-11-16 06:20 6.4K
CUDA_memset_initstruct_kernel.bpl 2017-11-16 06:20 10K
CUDA_memcpy_null_src_kernel.bpl 2017-11-16 06:20 9.6K
CUDA_memcpy_null_dst_kernel.bpl 2017-11-16 06:20 9.6K
CUDA_memcpy_notexactdiv_kernel.bpl 2017-11-16 06:20 14K
CUDA_memcpy_mismatch_kernel.bpl 2017-11-16 06:20 13K
CUDA_memcpy_lentoosmall_kernel.bpl 2017-11-16 06:20 13K
CUDA_memcpy_lentoobig_kernel.bpl 2017-11-16 06:20 13K
CUDA_memcpy_fail_overstep_kernel.bpl 2017-11-16 06:20 18K
CUDA_memcpy_fail_arrayofstruct_kernel.bpl 2017-11-16 06:20 7.9K
CUDA_memcpy_arrayofstruct_kernel.bpl 2017-11-16 06:20 8.4K
CUDA_loop_unwind_kernel.bpl 2017-11-16 06:20 13K
CUDA_localarrayaccess_kernel.bpl 2017-11-16 06:20 10K
CUDA_local2darrayaccess_kernel.bpl 2017-11-16 06:20 9.0K
CUDA_large_constant_array_kernel.bpl 2017-11-16 06:20 3.8K
CUDA_globalarray_fail_kernel.bpl 2017-11-16 06:20 7.7K
CUDA_function_pointers_soundness_issue_kernel.bpl 2017-11-16 06:20 41K
CUDA_function_pointers_return_value_kernel.bpl 2017-11-16 06:20 16K
CUDA_function_pointers_pass_struct_requires_kernel.bpl 2017-11-16 06:20 11K
CUDA_function_pointers_pass_struct_requires_call_kernel.bpl 2017-11-16 06:20 17K
CUDA_function_pointers_pass_struct_call_kernel.bpl 2017-11-16 06:20 17K
CUDA_function_pointers_funcptr_to_ptr_combined.bpl 2017-11-16 06:20 15K
CUDA_function_pointers_funcptr_to_ptr_add_combined.bpl 2017-11-16 06:20 15K
CUDA_function_pointers_funcptr_lt_kernel.bpl 2017-11-16 06:20 14K
CUDA_function_pointers_constant_value_kernel.bpl 2017-11-16 06:20 12K
CUDA_function_pointers_basic_statement_kernel.bpl 2017-11-16 06:20 16K
CUDA_function_pointers_basic_assignment_pass_kernel.bpl 2017-11-16 06:20 15K
CUDA_function_pointers_basic_assignment_fail_kernel.bpl 2017-11-16 06:20 15K
CUDA_function_pointers_basic_argument_pass_kernel.bpl 2017-11-16 06:20 14K
CUDA_function_pointers_basic_argument_fail_kernel.bpl 2017-11-16 06:20 14K
CUDA_floatrelationalop_kernel.bpl 2017-11-16 06:20 3.2K
CUDA_floatcastrequired_kernel.bpl 2017-11-16 06:20 3.3K
CUDA_fail_tests_shared_int_kernel.bpl 2017-11-16 06:20 8.6K
CUDA_fail_tests_race_on_shared_kernel.bpl 2017-11-16 06:20 8.6K
CUDA_curand_tests_pass_curand_mtgp32_kernel.bpl 2017-11-16 06:20 12K
CUDA_curand_tests_pass_curand_kernel.bpl 2017-11-16 06:20 12K
CUDA_curand_tests_fail_init_race_kernel.bpl 2017-11-16 06:20 15K
CUDA_curand_tests_fail_curand_race_kernel.bpl 2017-11-16 06:20 12K
CUDA_curand_tests_fail_curand_mtgp32_race_kernel.bpl 2017-11-16 06:20 12K
CUDA_curand_tests_fail_curand_mtgp32_block_race_kernel.bpl 2017-11-16 06:20 13K
CUDA_ctimeslid_kernel.bpl 2017-11-16 06:20 10K
CUDA_ctimesgid_kernel.bpl 2017-11-16 06:20 7.9K
CUDA_casttofloat_kernel.bpl 2017-11-16 06:20 3.0K
CUDA_basicglobalarray_kernel.bpl 2017-11-16 06:20 6.9K
CUDA_basicbarrier_kernel.bpl 2017-11-16 06:20 3.6K
CUDA_basic1_kernel.bpl 2017-11-16 06:20 3.0K
CUDA_barrierconditionalkernelparam_kernel.bpl 2017-11-16 06:20 3.9K
CUDA_atomics_test_abstraction_enforced_kernel.bpl 2017-11-16 06:20 11K
CUDA_atomics_device_global_kernel.bpl 2017-11-16 06:20 3.7K
CUDA_atomics_definitions_kernel.bpl 2017-11-16 06:20 27K
CUDA_atomics_add_zero_kernel.bpl 2017-11-16 06:20 10K
CUDA_atomics_add_tid_kernel.bpl 2017-11-16 06:20 10K
CUDA_atomics_add_one_kernel.bpl 2017-11-16 06:20 11K
CUDA_annotation_tests_test_while_loop_invariant_kernel.bpl 2017-11-16 06:20 4.4K
CUDA_annotation_tests_test_requires_kernel.bpl 2017-11-16 06:20 6.0K
CUDA_annotation_tests_test_norace_kernel.bpl 2017-11-16 06:20 7.0K
CUDA_annotation_tests_test_no_readwrite_kernel.bpl 2017-11-16 06:20 7.2K
CUDA_annotation_tests_test_for_loop_invariant_kernel.bpl 2017-11-16 06:20 4.2K
CUDA_annotation_tests_test_ensures_kernel.bpl 2017-11-16 06:20 5.6K
CUDA_annotation_tests_test_enabled_and_uniform_kernel.bpl 2017-11-16 06:20 4.0K
CUDA_annotation_tests_test_distinct_kernel.bpl 2017-11-16 06:20 5.3K
CUDA_annotation_tests_test_contract_kernel.bpl 2017-11-16 06:20 5.3K
CUDA_annotation_tests_test_axiom_kernel.bpl 2017-11-16 06:20 8.1K
CUDA_annotation_tests_test_at_most_one_kernel.bpl 2017-11-16 06:20 6.5K
CUDA_annotation_tests_test_assume_kernel.bpl 2017-11-16 06:20 5.0K
CUDA_annotation_tests_test_assert_kernel.bpl 2017-11-16 06:20 5.1K
CUDA_annotation_tests_test_all_kernel.bpl 2017-11-16 06:20 6.9K
CUDA_always_inline_kernel.bpl 2017-11-16 06:20 4.8K
CUDA_align_kernel.bpl 2017-11-16 06:20 7.9K