file 1	file 2	# same commits	# commits file 1	# commits file 2
aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	5	2
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	6	2
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	6	5
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	9	2
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	9	5
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	1	9	6
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	1	2
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	1	5
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	1	1	6
aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	1	1	9
aws-encryption-sdk-cpp/source/cpputils.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	7	2
aws-encryption-sdk-cpp/source/cpputils.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	7	5
aws-encryption-sdk-cpp/source/cpputils.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	1	7	6
aws-encryption-sdk-cpp/source/cpputils.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	1	7	9
aws-encryption-sdk-cpp/source/cpputils.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	1	7	1
aws-encryption-sdk-cpp/source/kms_keyring.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	39	2
aws-encryption-sdk-cpp/source/kms_keyring.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	39	5
aws-encryption-sdk-cpp/source/kms_keyring.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	1	39	6
aws-encryption-sdk-cpp/source/kms_keyring.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	1	39	9
aws-encryption-sdk-cpp/source/kms_keyring.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	1	39	1
aws-encryption-sdk-cpp/source/kms_keyring.cpp	aws-encryption-sdk-cpp/source/cpputils.cpp	1	39	7
aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	1	2
aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	1	5
aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	1	1	6
aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	1	1	9
aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	1	1	1
aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	aws-encryption-sdk-cpp/source/cpputils.cpp	1	1	7
aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	aws-encryption-sdk-cpp/source/kms_keyring.cpp	1	1	39
cbmc-ci/ci-config.yaml	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	3	2
cbmc-ci/ci-config.yaml	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	3	5
cbmc-ci/ci-config.yaml	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	1	3	6
cbmc-ci/ci-config.yaml	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	1	3	9
cbmc-ci/ci-config.yaml	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	1	3	1
cbmc-ci/ci-config.yaml	aws-encryption-sdk-cpp/source/cpputils.cpp	1	3	7
cbmc-ci/ci-config.yaml	aws-encryption-sdk-cpp/source/kms_keyring.cpp	1	3	39
cbmc-ci/ci-config.yaml	aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	1	3	1
codebuild/ubuntu-latest-x64.Dockerfile	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	4	2
codebuild/ubuntu-latest-x64.Dockerfile	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	4	5
codebuild/ubuntu-latest-x64.Dockerfile	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	1	4	6
codebuild/ubuntu-latest-x64.Dockerfile	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	1	4	9
codebuild/ubuntu-latest-x64.Dockerfile	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	1	4	1
codebuild/ubuntu-latest-x64.Dockerfile	aws-encryption-sdk-cpp/source/cpputils.cpp	1	4	7
codebuild/ubuntu-latest-x64.Dockerfile	aws-encryption-sdk-cpp/source/kms_keyring.cpp	1	4	39
codebuild/ubuntu-latest-x64.Dockerfile	aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	1	4	1
codebuild/ubuntu-latest-x64.Dockerfile	cbmc-ci/ci-config.yaml	1	4	3
codebuild/ubuntu-latest-x64/batch.yml	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	1	2
codebuild/ubuntu-latest-x64/batch.yml	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	1	5
codebuild/ubuntu-latest-x64/batch.yml	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	1	1	6
codebuild/ubuntu-latest-x64/batch.yml	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	1	1	9
codebuild/ubuntu-latest-x64/batch.yml	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	1	1	1
codebuild/ubuntu-latest-x64/batch.yml	aws-encryption-sdk-cpp/source/cpputils.cpp	1	1	7
codebuild/ubuntu-latest-x64/batch.yml	aws-encryption-sdk-cpp/source/kms_keyring.cpp	1	1	39
codebuild/ubuntu-latest-x64/batch.yml	aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	1	1	1
codebuild/ubuntu-latest-x64/batch.yml	cbmc-ci/ci-config.yaml	1	1	3
codebuild/ubuntu-latest-x64/batch.yml	codebuild/ubuntu-latest-x64.Dockerfile	1	1	4
codebuild/ubuntu-latest-x64/compliance.yml	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	1	2
codebuild/ubuntu-latest-x64/compliance.yml	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	1	5
codebuild/ubuntu-latest-x64/compliance.yml	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	1	1	6
codebuild/ubuntu-latest-x64/compliance.yml	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	1	1	9
codebuild/ubuntu-latest-x64/compliance.yml	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	1	1	1
codebuild/ubuntu-latest-x64/compliance.yml	aws-encryption-sdk-cpp/source/cpputils.cpp	1	1	7
codebuild/ubuntu-latest-x64/compliance.yml	aws-encryption-sdk-cpp/source/kms_keyring.cpp	1	1	39
codebuild/ubuntu-latest-x64/compliance.yml	aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	1	1	1
codebuild/ubuntu-latest-x64/compliance.yml	cbmc-ci/ci-config.yaml	1	1	3
codebuild/ubuntu-latest-x64/compliance.yml	codebuild/ubuntu-latest-x64.Dockerfile	1	1	4
codebuild/ubuntu-latest-x64/compliance.yml	codebuild/ubuntu-latest-x64/batch.yml	1	1	1
source/materials.c	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_mrk_keyring.h	1	44	2
source/materials.c	aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp/kms_keyring.h	1	44	5
source/materials.c	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/cpputils.h	1	44	6
source/materials.c	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_keyring.h	1	44	9
source/materials.c	aws-encryption-sdk-cpp/include/aws/cryptosdk/private/kms_mrk_keyring.h	1	44	1
source/materials.c	aws-encryption-sdk-cpp/source/cpputils.cpp	1	44	7
source/materials.c	aws-encryption-sdk-cpp/source/kms_keyring.cpp	1	44	39
source/materials.c	aws-encryption-sdk-cpp/source/kms_mrk_keyring.cpp	1	44	1
source/materials.c	cbmc-ci/ci-config.yaml	1	44	3
source/materials.c	codebuild/ubuntu-latest-x64.Dockerfile	1	44	4
source/materials.c	codebuild/ubuntu-latest-x64/batch.yml	1	44	1
source/materials.c	codebuild/ubuntu-latest-x64/compliance.yml	1	44	1
include/aws/cryptosdk/private/header.h	include/aws/cryptosdk/error.h	1	20	38
include/aws/cryptosdk/private/session.h	include/aws/cryptosdk/error.h	1	36	38
include/aws/cryptosdk/private/session.h	include/aws/cryptosdk/private/header.h	1	36	20
include/aws/cryptosdk/session.h	include/aws/cryptosdk/error.h	1	37	38
include/aws/cryptosdk/session.h	include/aws/cryptosdk/private/header.h	1	37	20
include/aws/cryptosdk/session.h	include/aws/cryptosdk/private/session.h	1	37	36
source/default_cmm.c	include/aws/cryptosdk/error.h	1	50	38
source/default_cmm.c	include/aws/cryptosdk/private/header.h	1	50	20
source/default_cmm.c	include/aws/cryptosdk/private/session.h	1	50	36
source/default_cmm.c	include/aws/cryptosdk/session.h	1	50	37
source/error.c	include/aws/cryptosdk/error.h	1	33	38
source/error.c	include/aws/cryptosdk/private/header.h	1	33	20
source/error.c	include/aws/cryptosdk/private/session.h	1	33	36
source/error.c	include/aws/cryptosdk/session.h	1	33	37
source/error.c	source/default_cmm.c	1	33	50
source/header.c	include/aws/cryptosdk/error.h	1	66	38
source/header.c	include/aws/cryptosdk/private/header.h	1	66	20
source/header.c	include/aws/cryptosdk/private/session.h	1	66	36
source/header.c	include/aws/cryptosdk/session.h	1	66	37
source/header.c	source/default_cmm.c	1	66	50
source/header.c	source/error.c	1	66	33
source/session.c	include/aws/cryptosdk/error.h	1	71	38
source/session.c	include/aws/cryptosdk/private/header.h	1	71	20
source/session.c	include/aws/cryptosdk/private/session.h	1	71	36
source/session.c	include/aws/cryptosdk/session.h	1	71	37
source/session.c	source/default_cmm.c	1	71	50
source/session.c	source/error.c	1	71	33
source/session.c	source/header.c	1	71	66
source/session_decrypt.c	include/aws/cryptosdk/error.h	1	39	38
source/session_decrypt.c	include/aws/cryptosdk/private/header.h	1	39	20
source/session_decrypt.c	include/aws/cryptosdk/private/session.h	1	39	36
source/session_decrypt.c	include/aws/cryptosdk/session.h	1	39	37
source/session_decrypt.c	source/default_cmm.c	1	39	50
source/session_decrypt.c	source/error.c	1	39	33
source/session_decrypt.c	source/header.c	1	39	66
source/session_decrypt.c	source/session.c	1	39	71
source/session_encrypt.c	include/aws/cryptosdk/error.h	1	41	38
source/session_encrypt.c	include/aws/cryptosdk/private/header.h	1	41	20
source/session_encrypt.c	include/aws/cryptosdk/private/session.h	1	41	36
source/session_encrypt.c	include/aws/cryptosdk/session.h	1	41	37
source/session_encrypt.c	source/default_cmm.c	1	41	50
source/session_encrypt.c	source/error.c	1	41	33
source/session_encrypt.c	source/header.c	1	41	66
source/session_encrypt.c	source/session.c	1	41	71
source/session_encrypt.c	source/session_decrypt.c	1	41	39
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	include/aws/cryptosdk/error.h	1	2	38
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	include/aws/cryptosdk/private/header.h	1	2	20
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	include/aws/cryptosdk/private/session.h	1	2	36
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	include/aws/cryptosdk/session.h	1	2	37
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	source/default_cmm.c	1	2	50
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	source/error.c	1	2	33
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	source/header.c	1	2	66
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	source/session.c	1	2	71
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	source/session_decrypt.c	1	2	39
verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks/aws_cryptosdk_priv_hdr_parse_edks_harness.c	source/session_encrypt.c	1	2	41
verification/cbmc/proofs/aws_cryptosdk_serialize_frame/aws_cryptosdk_serialize_frame_harness.c	source/framefmt.c	1	3	27