path	# lines of code	number of updates	days since first update	days since last update	first updated	last updated	
cmake/AwsSharedLibSetup.cmake	63	5	1131	221	2018-12-28	2021-06-25
cmake/AwsSIMD.cmake	60	4	1142	124	2018-12-17	2021-09-30
cmake/AwsLibFuzzer.cmake	40	5	1142	585	2018-12-17	2020-06-26
cmake/aws-c-common-config.cmake	9	5	1209	697	2018-10-11	2020-03-06
cmake/AwsCFlags.cmake	193	36	1296	99	2018-07-16	2021-10-25
cmake/AwsThreadAffinity.cmake	39	2	335	313	2021-03-03	2021-03-25
cmake/AwsFeatureTests.cmake	93	15	1142	91	2018-12-17	2021-11-02
cmake/AwsTestHarness.cmake	76	12	1265	215	2018-08-16	2021-07-01
cmake/AwsSanitizers.cmake	63	5	1142	585	2018-12-17	2020-06-26
cmake/CPackConfig.cmake	57	1	1141	1141	2018-12-18	2018-12-18
cmake/AwsFindPackage.cmake	20	3	761	340	2020-01-02	2021-02-26
cmake/AwsCheckHeaders.cmake	49	3	785	501	2019-12-09	2020-09-18
source/encoding.c	302	28	1453	585	2018-02-09	2020-06-26
source/array_list.c	156	25	1462	585	2018-01-31	2020-06-26
source/hash_table.c	761	45	1426	176	2018-03-08	2021-08-09
source/arch/generic/cpuid.c	5	3	601	124	2020-06-10	2021-09-30
source/arch/intel/encoding_avx2.c	189	2	601	585	2020-06-10	2020-06-26
source/arch/intel/asm/cpuid.c	21	2	601	585	2020-06-10	2020-06-26
source/arch/intel/msvc/cpuid.c	5	2	601	585	2020-06-10	2020-06-26
source/arch/intel/cpuid.c	74	4	601	99	2020-06-10	2021-10-25
source/arch/arm/asm/cpuid.c	54	1	580	580	2020-07-01	2020-07-01
source/arch/arm/msvc/cpuid.c	5	1	580	580	2020-07-01	2020-07-01
source/log_channel.c	158	2	944	585	2019-07-03	2020-06-26
source/codegen.c	12	4	1237	585	2018-09-13	2020-06-26
source/string.c	337	24	1334	109	2018-06-08	2021-10-15
source/file.c	125	2	117	109	2021-10-07	2021-10-15
source/error.c	143	18	1476	350	2018-01-17	2021-02-16
source/ref_count.c	21	2	517	349	2020-09-02	2021-02-17
source/statistics.c	17	3	841	585	2019-10-14	2020-06-26
source/android/logging.c	106	2	657	585	2020-04-15	2020-06-26
source/logging.c	403	15	965	47	2019-06-12	2021-12-16
source/posix/system_info.c	347	26	1335	272	2018-06-07	2021-05-05
source/posix/mutex.c	39	9	1468	585	2018-01-25	2020-06-26
source/posix/environment.c	30	4	1068	585	2019-03-01	2020-06-26
source/posix/file.c	202	3	281	109	2021-04-26	2021-10-15
source/posix/thread.c	293	21	1468	217	2018-01-25	2021-06-29
source/posix/rw_lock.c	27	2	1190	585	2018-10-30	2020-06-26
source/posix/device_random.c	38	4	1148	585	2018-12-11	2020-06-26
source/posix/clock.c	97	9	1468	585	2018-01-25	2020-06-26
source/posix/condition_variable.c	77	6	1364	585	2018-05-09	2020-06-26
source/posix/process.c	37	4	809	585	2019-11-15	2020-06-26
source/posix/time.c	26	4	1147	585	2018-12-12	2020-06-26
source/thread_scheduler.c	172	2	411	391	2020-12-17	2021-01-06
source/priority_queue.c	293	27	1453	196	2018-02-09	2021-07-20
source/uuid.c	75	3	1148	585	2018-12-11	2020-06-26
source/allocator.c	231	6	894	109	2019-08-22	2021-10-15
source/allocator_sba.c	356	4	644	172	2020-04-28	2021-08-13
source/linked_hash_table.c	95	3	923	585	2019-07-24	2020-06-26
source/fifo_cache.c	44	2	631	585	2020-05-11	2020-06-26
source/device_random.c	22	2	1148	585	2018-12-11	2020-06-26
source/thread_shared.c	92	2	349	334	2021-02-17	2021-03-04
source/byte_buf.c	1110	58	1340	43	2018-06-02	2021-12-20
source/ring_buffer.c	204	11	970	109	2019-06-07	2021-10-15
source/memtrace.c	422	5	819	411	2019-11-05	2020-12-17
source/bus.c	543	1	130	130	2021-09-24	2021-09-24
source/log_writer.c	74	3	944	281	2019-07-03	2021-04-26
source/lru_cache.c	90	10	1299	585	2018-07-13	2020-06-26
source/math.c	17	2	908	585	2019-08-08	2020-06-26
source/lifo_cache.c	48	2	631	585	2020-05-11	2020-06-26
source/process_common.c	78	3	648	298	2020-04-24	2021-04-09
source/promise.c	94	1	245	245	2021-06-01	2021-06-01
source/command_line_parser.c	127	5	1054	49	2019-03-15	2021-12-14
source/assert.c	10	4	997	585	2019-05-11	2020-06-26
source/condition_variable.c	24	4	1364	585	2018-05-09	2020-06-26
source/task_scheduler.c	188	20	1453	411	2018-02-09	2020-12-17
source/cache.c	41	2	631	585	2020-05-11	2020-06-26
source/common.c	318	56	1476	36	2018-01-17	2021-12-27
source/xml_parser.c	332	1	546	546	2020-08-04	2020-08-04
source/windows/system_info.c	240	15	1335	274	2018-06-07	2021-05-03
source/windows/mutex.c	52	11	1468	61	2018-01-25	2021-12-02
source/windows/environment.c	38	5	1068	327	2019-03-01	2021-03-11
source/windows/file.c	343	4	281	109	2021-04-26	2021-10-15
source/windows/thread.c	283	21	1468	61	2018-01-25	2021-12-02
source/windows/rw_lock.c	64	3	1190	61	2018-10-30	2021-12-02
source/windows/device_random.c	25	3	1148	585	2018-12-11	2020-06-26
source/windows/clock.c	49	12	1468	287	2018-01-25	2021-04-20
source/windows/condition_variable.c	46	7	1364	585	2018-05-09	2020-06-26
source/windows/process.c	20	5	809	298	2019-11-15	2021-04-09
source/windows/time.c	10	2	1147	585	2018-12-12	2020-06-26
source/date_time.c	666	10	1147	207	2018-12-12	2021-07-09
source/log_formatter.c	198	5	944	585	2019-07-03	2020-06-26
AWSCRTAndroidTestRunner/app/src/main/cpp/native-lib.cpp	25	1	669	669	2020-04-03	2020-04-03
include/aws/testing/aws_test_harness.h	455	39	1447	123	2018-02-15	2021-10-01
include/aws/common/log_channel.h	34	2	944	585	2019-07-03	2020-06-26
include/aws/common/atomics_msvc.inl	192	5	1237	585	2018-09-13	2020-06-26
include/aws/common/linked_hash_table.h	48	3	923	585	2019-07-24	2020-06-26
include/aws/common/cpuid.h	15	3	601	580	2020-06-10	2020-07-01
include/aws/common/bus.h	28	1	130	130	2021-09-24	2021-09-24
include/aws/common/math.h	82	21	1426	503	2018-03-08	2020-09-16
include/aws/common/byte_buf.h	215	70	1431	43	2018-03-03	2021-12-20
include/aws/common/mutex.h	36	11	1468	61	2018-01-25	2021-12-02
include/aws/common/string.h	127	35	1334	109	2018-06-08	2021-10-15
include/aws/common/math.inl	206	5	888	511	2019-08-28	2020-09-08
include/aws/common/promise.h	27	1	245	245	2021-06-01	2021-06-01
include/aws/common/error.h	121	23	1476	36	2018-01-17	2021-12-27
include/aws/common/process.h	24	4	809	585	2019-11-15	2020-06-26
include/aws/common/cache.h	39	3	631	445	2020-05-11	2020-11-13
include/aws/common/zero.inl	29	2	888	585	2019-08-28	2020-06-26
include/aws/common/math.cbmc.inl	53	3	985	585	2019-05-23	2020-06-26
include/aws/common/command_line_parser.h	38	5	1054	49	2019-03-15	2021-12-14
include/aws/common/atomics_gnu.inl	131	6	1237	536	2018-09-13	2020-08-14
include/aws/common/private/byte_buf.h	5	3	901	585	2019-08-15	2020-06-26
include/aws/common/private/hash_table_impl.h	31	10	1037	585	2019-04-01	2020-06-26
include/aws/common/private/thread_shared.h	10	2	349	344	2021-02-17	2021-02-22
include/aws/common/private/lookup3.inl	718	2	946	274	2019-07-01	2021-05-03
include/aws/common/private/xml_parser_impl.h	20	2	546	445	2020-08-04	2020-11-13
include/aws/common/private/array_list.h	6	2	888	585	2019-08-28	2020-06-26
include/aws/common/private/dlloads.h	11	2	442	399	2020-11-16	2020-12-29
include/aws/common/device_random.h	12	3	1148	585	2018-12-11	2020-06-26
include/aws/common/clock.h	27	15	1468	287	2018-01-25	2021-04-20
include/aws/common/posix/common.inl	25	4	1231	585	2018-09-19	2020-06-26
include/aws/common/log_formatter.h	52	3	944	585	2019-07-03	2020-06-26
include/aws/common/math.gcc_overflow.inl	59	7	1161	585	2018-11-28	2020-06-26
include/aws/common/xml_parser.h	48	2	546	445	2020-08-04	2020-11-13
include/aws/common/atomics.h	99	7	1237	585	2018-09-13	2020-06-26
include/aws/common/condition_variable.h	55	8	1364	585	2018-05-09	2020-06-26
include/aws/common/zero.h	29	3	921	585	2019-07-26	2020-06-26
include/aws/common/logging.h	166	15	965	117	2019-06-12	2021-10-07
include/aws/common/uuid.h	16	2	1148	585	2018-12-11	2020-06-26
include/aws/common/file.h	63	3	281	109	2021-04-26	2021-10-15
include/aws/common/encoding.h	49	18	1453	585	2018-02-09	2020-06-26
include/aws/common/stdbool.h	19	3	951	585	2019-06-26	2020-06-26
include/aws/common/date_time.h	87	4	1147	207	2018-12-12	2021-07-09
include/aws/common/byte_order.inl	99	5	888	327	2019-08-28	2021-03-11
include/aws/common/atomics.inl	73	2	888	585	2019-08-28	2020-06-26
include/aws/common/common.h	26	62	1476	522	2018-01-17	2020-08-28
include/aws/common/thread.h	79	18	1468	217	2018-01-25	2021-06-29
include/aws/common/clock.inl	34	4	888	287	2019-08-28	2021-04-20
include/aws/common/exports.h	26	9	1476	585	2018-01-17	2020-06-26
include/aws/common/linked_list.inl	277	3	888	574	2019-08-28	2020-07-07
include/aws/common/predicates.h	16	2	909	585	2019-08-07	2020-06-26
include/aws/common/system_info.h	40	13	1335	274	2018-06-07	2021-05-03
include/aws/common/macros.h	86	10	951	274	2019-06-26	2021-05-03
include/aws/common/ring_buffer.inl	25	3	888	257	2019-08-28	2021-05-20
include/aws/common/hash_table.h	113	26	1426	176	2018-03-08	2021-08-09
include/aws/common/math.gcc_x64_asm.inl	105	10	1161	585	2018-11-28	2020-06-26
include/aws/common/stdint.h	73	4	951	245	2019-06-26	2021-06-01
include/aws/common/allocator.h	66	10	951	109	2019-06-26	2021-10-15
include/aws/common/task_scheduler.h	57	22	1453	411	2018-02-09	2020-12-17
include/aws/common/thread_scheduler.h	21	1	411	411	2020-12-17	2020-12-17
include/aws/common/array_list.h	80	22	1462	120	2018-01-31	2021-10-04
include/aws/common/ring_buffer.h	38	8	970	63	2019-06-07	2021-11-30
include/aws/common/statistics.h	52	3	841	585	2019-10-14	2020-06-26
include/aws/common/package.h	5	3	841	585	2019-10-14	2020-06-26
include/aws/common/math.gcc_builtin.inl	45	2	616	585	2020-05-26	2020-06-26
include/aws/common/atomics_gnu_old.inl	142	7	1225	585	2018-09-25	2020-06-26
include/aws/common/string.inl	29	6	901	585	2019-08-15	2020-06-26
include/aws/common/linked_list.h	54	21	1467	574	2018-01-26	2020-07-07
include/aws/common/environment.h	16	2	1068	585	2019-03-01	2020-06-26
include/aws/common/atomics_fallback.inl	13	3	1237	585	2018-09-13	2020-06-26
include/aws/common/time.h	10	3	1147	585	2018-12-12	2020-06-26
include/aws/common/priority_queue.h	54	15	1453	411	2018-02-09	2020-12-17
include/aws/common/rw_lock.h	33	8	1293	61	2018-07-19	2021-12-02
include/aws/common/assert.h	134	17	951	109	2019-06-26	2021-10-15
include/aws/common/ref_count.h	23	3	517	349	2020-09-02	2021-02-17
include/aws/common/fifo_cache.h	14	2	631	585	2020-05-11	2020-06-26
include/aws/common/array_list.inl	331	28	1212	111	2018-10-08	2021-10-13
include/aws/common/byte_order.h	20	18	1392	585	2018-04-11	2020-06-26
include/aws/common/encoding.inl	79	3	888	585	2019-08-28	2020-06-26
include/aws/common/math.fallback.inl	135	10	1161	585	2018-11-28	2020-06-26
include/aws/common/error.inl	11	2	888	585	2019-08-28	2020-06-26
include/aws/common/platform.h	27	3	522	90	2020-08-28	2021-11-03
include/aws/common/log_writer.h	35	2	944	585	2019-07-03	2020-06-26
include/aws/common/math.msvc.inl	115	6	1161	585	2018-11-28	2020-06-26
include/aws/common/math.gcc_arm64_asm.inl	96	1	511	511	2020-09-08	2020-09-08
include/aws/common/lru_cache.h	18	9	1299	585	2018-07-13	2020-06-26
include/aws/common/lifo_cache.h	14	2	631	585	2020-05-11	2020-06-26
include/aws/common/config.h.in	19	6	1161	245	2018-11-28	2021-06-01
verification/cbmc/stubs/aws_hash_iter_overrides.c	61	2	580	195	2020-07-01	2021-07-21
verification/cbmc/stubs/s_expand_table_override.c	31	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memcpy_override.c	21	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/abort_override_assert_false.c	4	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/error.c	8	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/aws_string_destroy_override.c	7	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/s_sift_either_override.c	7	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/hash_table_generators.c	39	4	580	285	2020-07-01	2021-04-22
verification/cbmc/stubs/s_emplace_item_override.c	27	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/qsort_override.c	11	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/s_remove_node_override.c	18	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memcpy_using_uint64.c	43	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memset_override_no_op.c	14	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memmove_override_no_op.c	19	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memset_override_havoc.c	19	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memcpy_override_no_op.c	19	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/aws_hash_table_find_override.c	26	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/s_swap_override_no_op.c	12	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/aws_byte_cursor_read_be16_override.c	23	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memmove_override_havoc.c	20	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memset_using_uint64.c	48	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memcpy_override_havoc.c	24	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memset_override_0.c	21	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memmove_override.c	30	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/empty-source-file.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/aws_array_list_swap_override.c	21	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/memset_override.c	19	2	580	536	2020-07-01	2020-08-14
verification/cbmc/stubs/aws_string_new_from_array_override.c	15	3	580	285	2020-07-01	2021-04-22
verification/cbmc/stubs/s_sift_up_override.c	8	1	580	580	2020-07-01	2020-07-01
verification/cbmc/stubs/s_remove_entry_override.c	22	1	477	477	2020-10-12	2020-10-12
verification/cbmc/stubs/aws_hash_table_no_slots_override.c	146	3	580	285	2020-07-01	2021-04-22
verification/cbmc/sources/utils.c	135	2	580	516	2020-07-01	2020-09-03
verification/cbmc/sources/make_common_data_structures.c	172	11	580	71	2020-07-01	2021-11-22
verification/cbmc/proofs/aws_byte_buf_reset/aws_byte_buf_reset_harness.c	19	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_ptr/aws_hash_ptr_harness.c	8	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_init_copy_from_cursor/aws_byte_buf_init_copy_from_cursor_harness.c	21	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_eq_c_str_ignore_case/aws_byte_buf_eq_c_str_ignore_case_harness.c	24	2	580	477	2020-07-01	2020-10-12
verification/cbmc/proofs/aws_array_eq_c_str/aws_array_eq_c_str_harness.c	28	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_priority_queue_pop/aws_priority_queue_pop_harness.c	29	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_advance_nospec/aws_byte_cursor_advance_nospec_harness.c	31	3	580	257	2020-07-01	2021-05-20
verification/cbmc/proofs/aws_byte_buf_eq/aws_byte_buf_eq_harness.c	32	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_eq_ignore_case/aws_byte_buf_eq_ignore_case_harness.c	29	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_priority_queue_top/aws_priority_queue_top_harness.c	19	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_cat/aws_byte_buf_cat_harness.c	44	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_string_eq_byte_cursor/aws_string_eq_byte_cursor_harness.c	21	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_linked_list_insert_before/aws_linked_list_insert_before_harness.c	16	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_list_copy/aws_array_list_copy_harness.c	21	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_ring_buffer_init/aws_ring_buffer_init_harness.c	15	3	580	257	2020-07-01	2021-05-20
verification/cbmc/proofs/aws_priority_queue_size/aws_priority_queue_size_harness.c	18	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_buf_secure_zero/aws_byte_buf_secure_zero_harness.c	12	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_list_back/aws_array_list_back_harness.c	20	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_compare_lexical/aws_byte_cursor_compare_lexical_harness.c	39	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_ring_buffer_clean_up/aws_ring_buffer_clean_up_harness.c	15	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_from_string/aws_byte_cursor_from_string_harness.c	13	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_eq_c_str_ignore_case/aws_array_eq_c_str_ignore_case_harness.c	24	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_table_swap/aws_hash_table_swap_harness.c	32	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_priority_queue_clean_up/aws_priority_queue_clean_up_harness.c	11	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_buf_append/aws_byte_buf_append_harness.c	26	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_linked_list_node_reset/aws_linked_list_node_reset_harness.c	7	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_list_erase/aws_array_list_erase_harness.c	22	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_string/aws_hash_string_harness.c	9	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_iter_next/aws_hash_iter_next_harness.c	21	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_read_be32/aws_byte_cursor_read_be32_harness.c	8	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_table_clear/aws_hash_table_clear_harness.c	16	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_priority_queue_s_remove_node/aws_priority_queue_s_remove_node_harness.c	35	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_table_init_bounded/aws_hash_table_init_bounded_harness.c	22	2	426	285	2020-12-02	2021-04-22
verification/cbmc/proofs/aws_hash_iter_begin/aws_hash_iter_begin_harness.c	16	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_string_new_from_array/aws_string_new_from_array_harness.c	19	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_linked_list_insert_after/aws_linked_list_insert_after_harness.c	16	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_table_remove/aws_hash_table_remove_harness.c	41	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_sort/aws_array_list_sort_harness.c	21	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_list_ensure_capacity/aws_array_list_ensure_capacity_harness.c	21	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_linked_list_push_back/aws_linked_list_push_back_harness.c	14	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_buf_reserve_relative/aws_byte_buf_reserve_relative_harness.c	15	2	580	477	2020-07-01	2020-10-12
verification/cbmc/proofs/aws_array_list_swap_contents/aws_array_list_swap_contents_harness.c	28	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_buf_write_from_whole_cursor/aws_byte_buf_write_from_whole_cursor_harness.c	31	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_buf_write/aws_byte_buf_write_harness.c	24	2	580	477	2020-07-01	2020-10-12
verification/cbmc/proofs/aws_mul_size_checked/aws_mul_size_checked_harness.c	23	2	580	515	2020-07-01	2020-09-04
verification/cbmc/proofs/aws_array_list_pop_front/aws_array_list_pop_front_harness.c	21	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/aws_byte_cursor_left_trim_pred_harness.c	16	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_linked_list_pop_back/aws_linked_list_pop_back_harness.c	12	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_linked_list_init/aws_linked_list_init_harness.c	7	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_eq/aws_array_eq_harness.c	34	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_pop_back/aws_array_list_pop_back_harness.c	21	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_cursor_eq_ignore_case/aws_byte_cursor_eq_ignore_case_harness.c	33	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_from_c_str/aws_byte_buf_from_c_str_harness.c	19	2	580	477	2020-07-01	2020-10-12
verification/cbmc/proofs/aws_byte_cursor_from_array/aws_byte_cursor_from_array_harness.c	13	2	580	477	2020-07-01	2020-10-12
verification/cbmc/proofs/aws_hash_table_move/aws_hash_table_move_harness.c	16	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_table_foreach/aws_hash_table_foreach_harness.c	18	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_string_new_from_c_str/aws_string_new_from_c_str_harness.c	17	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf_ignore_case/aws_byte_cursor_eq_byte_buf_ignore_case_harness.c	27	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_from_c_str/aws_byte_cursor_from_c_str_harness.c	13	2	580	477	2020-07-01	2020-10-12
verification/cbmc/proofs/aws_is_power_of_two/aws_is_power_of_two_harness.c	13	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_callback_c_str_eq/aws_hash_callback_c_str_eq_harness.c	15	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_init_copy/aws_byte_buf_init_copy_harness.c	27	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_append_with_lookup/aws_byte_buf_append_with_lookup_harness.c	27	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_list_comparator_string/aws_array_list_comparator_string_harness.c	17	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_linked_list_remove/aws_linked_list_remove_harness.c	17	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_buf_reserve/aws_byte_buf_reserve_harness.c	19	2	580	477	2020-07-01	2020-10-12
verification/cbmc/proofs/aws_ring_buffer_buf_belongs_to_pool/aws_ring_buffer_buf_belongs_to_pool_harness.c	26	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_callback_string_destroy/aws_hash_callback_string_destroy_harness.c	9	4	580	195	2020-07-01	2021-07-21
verification/cbmc/proofs/aws_byte_buf_append_dynamic/aws_byte_buf_append_dynamic_harness.c	23	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_callback_string_eq/aws_hash_callback_string_eq_harness.c	15	4	580	195	2020-07-01	2021-07-21
verification/cbmc/proofs/aws_hash_table_init_unbounded/aws_hash_table_init_unbounded_harness.c	19	2	426	285	2020-12-02	2021-04-22
verification/cbmc/proofs/aws_byte_buf_write_be64/aws_byte_buf_write_be64_harness.c	20	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_list_set_at/aws_array_list_set_at_harness.c	24	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_right_trim_pred/aws_byte_cursor_right_trim_pred_harness.c	16	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_eq_c_str/aws_byte_buf_eq_c_str_harness.c	27	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/aws_byte_cursor_satisfies_pred_harness.c	15	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_advance/aws_byte_buf_advance_harness.c	39	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_priority_queue_s_sift_up/aws_priority_queue_s_sift_up_harness.c	21	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_byte_cursor_ptr/aws_hash_byte_cursor_ptr_harness.c	12	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_mul_size_saturating/aws_mul_size_saturating_harness.c	23	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_priority_queue_init_static/aws_priority_queue_init_static_harness.c	20	2	580	477	2020-07-01	2020-10-12
verification/cbmc/proofs/aws_linked_list_front/aws_linked_list_front_harness.c	13	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_string_eq_c_str/aws_string_eq_c_str_harness.c	14	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_capacity/aws_array_list_capacity_harness.c	16	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_list_get_at/aws_array_list_get_at_harness.c	21	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_shrink_to_fit/aws_array_list_shrink_to_fit_harness.c	21	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_linked_list_prev/aws_linked_list_prev_harness.c	12	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_iter_done/aws_hash_iter_done_harness.c	22	4	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_string_new_from_string/aws_string_new_from_string_harness.c	17	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_table_put/aws_hash_table_put_harness.c	34	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_string_destroy/aws_string_destroy_harness.c	7	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_read_and_fill_buffer/aws_byte_cursor_read_and_fill_buffer_harness.c	35	3	580	257	2020-07-01	2021-05-20
verification/cbmc/proofs/aws_byte_buf_write_u8/aws_byte_buf_write_u8_harness.c	20	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_eq_ignore_case/aws_array_eq_ignore_case_harness.c	31	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_clear/aws_array_list_clear_harness.c	16	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_list_front/aws_array_list_front_harness.c	21	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_trim_pred/aws_byte_cursor_trim_pred_harness.c	16	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_init_static/aws_array_list_init_static_harness.c	23	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_push_back/aws_array_list_push_back_harness.c	21	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_string_compare/aws_string_compare_harness.c	22	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_clean_up_secure/aws_byte_buf_clean_up_secure_harness.c	13	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_linked_list_push_front/aws_linked_list_push_front_harness.c	14	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_table_find/aws_hash_table_find_harness.c	27	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_eq_c_str_ignore_case/aws_byte_cursor_eq_c_str_ignore_case_harness.c	26	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_round_up_to_power_of_two/aws_round_up_to_power_of_two_harness.c	20	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_string_eq_byte_buf_ignore_case/aws_string_eq_byte_buf_ignore_case_harness.c	20	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_string_destroy_secure/aws_string_destroy_secure_harness.c	24	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_ring_buffer_acquire/aws_ring_buffer_acquire_harness.c	46	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_init/aws_byte_buf_init_harness.c	13	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_nospec_mask/aws_nospec_mask_harness.c	14	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_priority_queue_push_ref/aws_priority_queue_push_ref_harness.c	13	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_priority_queue_capacity/aws_priority_queue_capacity_harness.c	20	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_linked_list_rbegin/aws_linked_list_rbegin_harness.c	10	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_cursor_read_u8/aws_byte_cursor_read_u8_harness.c	22	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_write_from_whole_buffer/aws_byte_buf_write_from_whole_buffer_harness.c	31	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_cursor_advance/aws_byte_cursor_advance_harness.c	31	3	580	257	2020-07-01	2021-05-20
verification/cbmc/proofs/aws_linked_list_pop_front/aws_linked_list_pop_front_harness.c	12	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_table_eq/aws_hash_table_eq_harness.c	27	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_eq_byte_buf/aws_byte_cursor_eq_byte_buf_harness.c	30	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_pop_front_n/aws_array_list_pop_front_n_harness.c	22	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_linked_list_next/aws_linked_list_next_harness.c	12	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_add_size_saturating/aws_add_size_saturating_harness.c	23	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_buf_write_be32/aws_byte_buf_write_be32_harness.c	20	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_linked_list_back/aws_linked_list_back_harness.c	13	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_priority_queue_remove/aws_priority_queue_remove_harness.c	32	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_linked_list_begin/aws_linked_list_begin_harness.c	10	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_table_clean_up/aws_hash_table_clean_up_harness.c	26	4	580	257	2020-07-01	2021-05-20
verification/cbmc/proofs/aws_byte_cursor_eq_c_str/aws_byte_cursor_eq_c_str_harness.c	29	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_priority_queue_s_sift_down/aws_priority_queue_s_sift_down_harness.c	21	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_ring_buffer_release/aws_ring_buffer_release_harness.c	38	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_table_create/aws_hash_table_create_harness.c	36	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_read_be64/aws_byte_cursor_read_be64_harness.c	8	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_array_list_swap/aws_array_list_swap_harness.c	19	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_add_size_checked/aws_add_size_checked_harness.c	24	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_cursor_read/aws_byte_cursor_read_harness.c	29	3	580	257	2020-07-01	2021-05-20
verification/cbmc/proofs/aws_byte_buf_write_from_whole_string/aws_byte_buf_write_from_whole_string_harness.c	30	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_string_eq_byte_buf/aws_string_eq_byte_buf_harness.c	18	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_priority_queue_push/aws_priority_queue_push_harness.c	12	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_clean_up/aws_array_list_clean_up_harness.c	10	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_linked_list_rend/aws_linked_list_rend_harness.c	10	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_linked_list_swap_contents/aws_linked_list_swap_contents_harness.c	26	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_priority_queue_s_swap/aws_priority_queue_s_swap_harness.c	39	3	580	224	2020-07-01	2021-06-22
verification/cbmc/proofs/aws_array_list_get_at_ptr/aws_array_list_get_at_ptr_harness.c	21	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_byte_cursor_ptr_ignore_case/aws_hash_byte_cursor_ptr_ignore_case_harness.c	11	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_buf_from_array/aws_byte_buf_from_array_harness.c	15	2	580	477	2020-07-01	2020-10-12
verification/cbmc/proofs/aws_priority_queue_s_sift_either/aws_priority_queue_s_sift_either_harness.c	21	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_clean_up/aws_byte_buf_clean_up_harness.c	12	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_cursor_eq/aws_byte_cursor_eq_harness.c	36	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_init_dynamic/aws_array_list_init_dynamic_harness.c	19	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_compare_lookup/aws_byte_cursor_compare_lookup_harness.c	35	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/memcpy_using_uint64/memcpy_using_uint64_harness.c	14	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_priority_queue_init_dynamic/aws_priority_queue_init_dynamic_harness.c	26	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_cursor_read_be16/aws_byte_cursor_read_be16_harness.c	8	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_array_ignore_case/aws_hash_array_ignore_case_harness.c	10	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/memset_override_0/memset_override_0_harness.c	17	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_hash_iter_delete/aws_hash_iter_delete_harness.c	21	4	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_linked_list_end/aws_linked_list_end_harness.c	10	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_cursor_from_buf/aws_byte_cursor_from_buf_harness.c	19	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_string_eq_c_str_ignore_case/aws_string_eq_c_str_ignore_case_harness.c	13	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_ptr_eq/aws_ptr_eq_harness.c	10	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_string_eq/aws_string_eq_harness.c	15	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_c_string/aws_hash_c_string_harness.c	9	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_length/aws_array_list_length_harness.c	14	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_string_bytes/aws_string_bytes_harness.c	8	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_hash_table_get_entry_count/aws_hash_table_get_entry_count_harness.c	18	2	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_byte_buf_write_be16/aws_byte_buf_write_be16_harness.c	20	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_byte_buf_from_empty_array/aws_byte_buf_from_empty_array_harness.c	15	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/aws_ring_buffer_acquire_up_to_harness.c	36	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/scripts/move_proofs.py	43	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/scripts/fixup_makefiles.py	46	1	580	580	2020-07-01	2020-07-01
verification/cbmc/proofs/memset_using_uint64/memset_using_uint64_harness.c	15	2	580	536	2020-07-01	2020-08-14
verification/cbmc/proofs/aws_string_eq_byte_cursor_ignore_case/aws_string_eq_byte_cursor_ignore_case_harness.c	17	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_string_eq_ignore_case/aws_string_eq_ignore_case_harness.c	14	3	580	285	2020-07-01	2021-04-22
verification/cbmc/proofs/aws_array_list_push_front/aws_array_list_push_front_harness.c	21	1	111	111	2021-10-13	2021-10-13
verification/cbmc/uninline/encoding.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/uninline/array_list.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/uninline/string.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/uninline/byte_order.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/uninline/error.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/uninline/ring_buffer.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/uninline/math.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/uninline/atomics.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/uninline/clock.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/uninline/zero.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/uninline/linked_list.c	1	1	580	580	2020-07-01	2020-07-01
verification/cbmc/include/aws/common/config.h	3	1	580	580	2020-07-01	2020-07-01
verification/cbmc/include/proof_helpers/make_common_data_structures.h	48	3	580	285	2020-07-01	2021-04-22
verification/cbmc/include/proof_helpers/utils.h	40	3	580	285	2020-07-01	2021-04-22
verification/cbmc/include/proof_helpers/aws_byte_cursor_read_common.h	29	2	580	285	2020-07-01	2021-04-22
verification/cbmc/include/proof_helpers/ring_buffer_abstract_states.h	21	1	580	580	2020-07-01	2020-07-01
verification/cbmc/include/proof_helpers/nondet.h	12	1	580	580	2020-07-01	2020-07-01