- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (189): LICENSE NOTICE AWSCRTAndroidTestRunner/gradlew verification/cbmc/proofs/aws_byte_buf_reset/Makefile verification/cbmc/proofs/aws_hash_ptr/Makefile verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/Makefile verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/Makefile verification/cbmc/proofs/aws_array_eq_c_str/Makefile verification/cbmc/proofs/aws_priority_queue_pop/Makefile verification/cbmc/proofs/aws_byte_cursor_advance_nospec/Makefile verification/cbmc/proofs/aws_byte_buf_eq/Makefile verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/Makefile verification/cbmc/proofs/aws_priority_queue_top/Makefile verification/cbmc/proofs/aws_byte_buf_cat/Makefile verification/cbmc/proofs/aws_string_eq_byte_cursor/Makefile verification/cbmc/proofs/aws_linked_list_insert_before/Makefile verification/cbmc/proofs/aws_array_list_copy/Makefile verification/cbmc/proofs/aws_ring_buffer_init/Makefile verification/cbmc/proofs/aws_priority_queue_size/Makefile verification/cbmc/proofs/aws_byte_buf_secure_zero/Makefile verification/cbmc/proofs/aws_array_list_back/Makefile verification/cbmc/proofs/aws_byte_cursor_compare_lexical/Makefile verification/cbmc/proofs/aws_ring_buffer_clean_up/Makefile verification/cbmc/proofs/aws_byte_cursor_from_string/Makefile verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/Makefile verification/cbmc/proofs/aws_hash_table_swap/Makefile verification/cbmc/proofs/aws_priority_queue_clean_up/Makefile verification/cbmc/proofs/aws_byte_buf_append/Makefile verification/cbmc/proofs/aws_linked_list_node_reset/Makefile verification/cbmc/proofs/aws_array_list_erase/Makefile verification/cbmc/proofs/aws_hash_string/Makefile verification/cbmc/proofs/aws_hash_iter_next/Makefile verification/cbmc/proofs/aws_byte_cursor_read_be32/Makefile verification/cbmc/proofs/aws_hash_table_clear/Makefile verification/cbmc/proofs/aws_priority_queue_s_remove_node/Makefile verification/cbmc/proofs/aws_hash_table_init_bounded/Makefile verification/cbmc/proofs/aws_hash_iter_begin/Makefile verification/cbmc/proofs/aws_string_new_from_array/Makefile verification/cbmc/proofs/aws_linked_list_insert_after/Makefile verification/cbmc/proofs/aws_hash_table_remove/Makefile verification/cbmc/proofs/aws_array_list_sort/Makefile verification/cbmc/proofs/aws_array_list_ensure_capacity/Makefile verification/cbmc/proofs/aws_linked_list_push_back/Makefile verification/cbmc/proofs/aws_byte_buf_reserve_relative/Makefile verification/cbmc/proofs/aws_array_list_swap_contents/Makefile verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/Makefile verification/cbmc/proofs/aws_byte_buf_write/Makefile verification/cbmc/proofs/aws_mul_size_checked/Makefile verification/cbmc/proofs/aws_array_list_pop_front/Makefile verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/Makefile verification/cbmc/proofs/aws_linked_list_pop_back/Makefile verification/cbmc/proofs/aws_linked_list_init/Makefile verification/cbmc/proofs/Makefile-project-targets verification/cbmc/proofs/aws_array_eq/Makefile verification/cbmc/proofs/aws_array_list_pop_back/Makefile verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/Makefile verification/cbmc/proofs/aws_byte_buf_from_c_str/Makefile verification/cbmc/proofs/aws_byte_cursor_from_array/Makefile verification/cbmc/proofs/aws_hash_table_move/Makefile verification/cbmc/proofs/aws_hash_table_foreach/Makefile verification/cbmc/proofs/aws_string_new_from_c_str/Makefile verification/cbmc/proofs/Makefile-project-defines verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/Makefile verification/cbmc/proofs/aws_byte_cursor_from_c_str/Makefile verification/cbmc/proofs/aws_is_power_of_two/Makefile verification/cbmc/proofs/aws_hash_callback_c_str_eq/Makefile verification/cbmc/proofs/aws_byte_buf_init_copy/Makefile verification/cbmc/proofs/aws_byte_buf_append_with_lookup/Makefile verification/cbmc/proofs/aws_array_list_comparator_string/Makefile verification/cbmc/proofs/aws_linked_list_remove/Makefile verification/cbmc/proofs/aws_byte_buf_reserve/Makefile verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/Makefile verification/cbmc/proofs/aws_hash_callback_string_destroy/Makefile verification/cbmc/proofs/Makefile-template-defines verification/cbmc/proofs/aws_byte_buf_append_dynamic/Makefile verification/cbmc/proofs/aws_hash_callback_string_eq/Makefile verification/cbmc/proofs/aws_hash_table_init_unbounded/Makefile verification/cbmc/proofs/aws_byte_buf_write_be64/Makefile verification/cbmc/proofs/aws_array_list_set_at/Makefile verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/Makefile verification/cbmc/proofs/aws_byte_buf_eq_c_str/Makefile verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/Makefile verification/cbmc/proofs/aws_byte_buf_advance/Makefile verification/cbmc/proofs/aws_priority_queue_s_sift_up/Makefile verification/cbmc/proofs/aws_hash_byte_cursor_ptr/Makefile verification/cbmc/proofs/aws_mul_size_saturating/Makefile verification/cbmc/proofs/aws_priority_queue_init_static/Makefile verification/cbmc/proofs/aws_linked_list_front/Makefile verification/cbmc/proofs/aws_string_eq_c_str/Makefile verification/cbmc/proofs/aws_array_list_capacity/Makefile verification/cbmc/proofs/aws_array_list_get_at/Makefile verification/cbmc/proofs/aws_array_list_shrink_to_fit/Makefile verification/cbmc/proofs/aws_linked_list_prev/Makefile verification/cbmc/proofs/aws_hash_iter_done/Makefile verification/cbmc/proofs/aws_string_new_from_string/Makefile verification/cbmc/proofs/aws_hash_table_put/Makefile verification/cbmc/proofs/aws_string_destroy/Makefile verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/Makefile verification/cbmc/proofs/aws_byte_buf_write_u8/Makefile verification/cbmc/proofs/aws_array_eq_ignore_case/Makefile verification/cbmc/proofs/aws_array_list_clear/Makefile verification/cbmc/proofs/aws_array_list_front/Makefile verification/cbmc/proofs/aws_byte_cursor_trim_pred/Makefile verification/cbmc/proofs/aws_array_list_init_static/Makefile verification/cbmc/proofs/aws_array_list_push_back/Makefile verification/cbmc/proofs/aws_string_compare/Makefile verification/cbmc/proofs/aws_byte_buf_clean_up_secure/Makefile verification/cbmc/proofs/aws_linked_list_push_front/Makefile verification/cbmc/proofs/aws_hash_table_find/Makefile verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/Makefile verification/cbmc/proofs/aws_round_up_to_power_of_two/Makefile verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/Makefile verification/cbmc/proofs/aws_string_destroy_secure/Makefile verification/cbmc/proofs/aws_ring_buffer_acquire/Makefile verification/cbmc/proofs/aws_byte_buf_init/Makefile verification/cbmc/proofs/aws_nospec_mask/Makefile verification/cbmc/proofs/aws_priority_queue_push_ref/Makefile verification/cbmc/proofs/aws_priority_queue_capacity/Makefile verification/cbmc/proofs/aws_linked_list_rbegin/Makefile verification/cbmc/proofs/aws_byte_cursor_read_u8/Makefile verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/Makefile verification/cbmc/proofs/aws_byte_cursor_advance/Makefile verification/cbmc/proofs/aws_linked_list_pop_front/Makefile verification/cbmc/proofs/aws_hash_table_eq/Makefile verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/Makefile verification/cbmc/proofs/aws_array_list_pop_front_n/Makefile verification/cbmc/proofs/aws_linked_list_next/Makefile verification/cbmc/proofs/aws_add_size_saturating/Makefile verification/cbmc/proofs/aws_byte_buf_write_be32/Makefile verification/cbmc/proofs/aws_linked_list_back/Makefile verification/cbmc/proofs/aws_priority_queue_remove/Makefile verification/cbmc/proofs/aws_linked_list_begin/Makefile verification/cbmc/proofs/aws_hash_table_clean_up/Makefile verification/cbmc/proofs/aws_byte_cursor_eq_c_str/Makefile verification/cbmc/proofs/aws_priority_queue_s_sift_down/Makefile verification/cbmc/proofs/aws_ring_buffer_release/Makefile verification/cbmc/proofs/aws_hash_table_create/Makefile verification/cbmc/proofs/aws_byte_cursor_read_be64/Makefile verification/cbmc/proofs/aws_array_list_swap/Makefile verification/cbmc/proofs/aws_add_size_checked/Makefile verification/cbmc/proofs/aws_byte_cursor_read/Makefile verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/Makefile verification/cbmc/proofs/aws_string_eq_byte_buf/Makefile verification/cbmc/proofs/aws_priority_queue_push/Makefile verification/cbmc/proofs/aws_array_list_clean_up/Makefile verification/cbmc/proofs/aws_linked_list_rend/Makefile verification/cbmc/proofs/aws_linked_list_swap_contents/Makefile verification/cbmc/proofs/aws_priority_queue_s_swap/Makefile verification/cbmc/proofs/aws_array_list_get_at_ptr/Makefile verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/Makefile verification/cbmc/proofs/aws_byte_buf_from_array/Makefile verification/cbmc/proofs/aws_priority_queue_s_sift_either/Makefile verification/cbmc/proofs/aws_byte_buf_clean_up/Makefile verification/cbmc/proofs/aws_byte_cursor_eq/Makefile verification/cbmc/proofs/aws_array_list_init_dynamic/Makefile verification/cbmc/proofs/Makefile-project-testing verification/cbmc/proofs/aws_byte_cursor_compare_lookup/Makefile verification/cbmc/proofs/memcpy_using_uint64/Makefile verification/cbmc/proofs/aws_priority_queue_init_dynamic/Makefile verification/cbmc/proofs/aws_byte_cursor_read_be16/Makefile verification/cbmc/proofs/aws_hash_array_ignore_case/Makefile verification/cbmc/proofs/memset_override_0/Makefile verification/cbmc/proofs/aws_hash_iter_delete/Makefile verification/cbmc/proofs/aws_linked_list_end/Makefile verification/cbmc/proofs/aws_byte_cursor_from_buf/Makefile verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/Makefile verification/cbmc/proofs/aws_ptr_eq/Makefile verification/cbmc/proofs/aws_string_eq/Makefile verification/cbmc/proofs/aws_hash_c_string/Makefile verification/cbmc/proofs/aws_array_list_length/Makefile verification/cbmc/proofs/aws_string_bytes/Makefile verification/cbmc/proofs/aws_hash_table_get_entry_count/Makefile verification/cbmc/proofs/aws_byte_buf_write_be16/Makefile verification/cbmc/proofs/aws_byte_buf_from_empty_array/Makefile verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/Makefile verification/cbmc/proofs/memset_using_uint64/Makefile verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/Makefile verification/cbmc/proofs/aws_string_eq_ignore_case/Makefile verification/cbmc/proofs/aws_array_list_push_front/Makefile docker-images/manylinux1-x64/Dockerfile docker-images/manylinux1-x86/Dockerfile docker-images/al2012/Dockerfile docker-images/ubuntu-16.04-x86/Dockerfile docker-images/windows-x64/vs2017/Dockerfile docker-images/windows-x64/vs2015/Dockerfile docker-images/linux-nodejs-x64/Dockerfile docker-images/linux-android/Dockerfile docker-images/windows-crt-dotnet/Dockerfile docker-images/ubuntu-16.04-x64/Dockerfile - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.cbmc_batch files (1): verification/cbmc/proofs/Makefile.cbmc_batch - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.aws_array_list files (1): verification/cbmc/proofs/Makefile.aws_array_list - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.aws_hash_table files (1): verification/cbmc/proofs/Makefile.aws_hash_table - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.aws_priority_queue_sift files (1): verification/cbmc/proofs/Makefile.aws_priority_queue_sift - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.aws_linked_list files (1): verification/cbmc/proofs/Makefile.aws_linked_list - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.aws_byte_buf files (1): verification/cbmc/proofs/Makefile.aws_byte_buf - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.aws_string files (1): verification/cbmc/proofs/Makefile.aws_string - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -