LICENSE
NOTICE
README.md
pyproject.toml
setup.cfg
src/cbmc_starter_kit/__init__.py
src/cbmc_starter_kit/arguments.py
src/cbmc_starter_kit/ctagst.py
src/cbmc_starter_kit/migrate_license.py
src/cbmc_starter_kit/repository.py
src/cbmc_starter_kit/setup.py
src/cbmc_starter_kit/setup_proof.py
src/cbmc_starter_kit/update.py
src/cbmc_starter_kit/util.py
src/cbmc_starter_kit/version.py
src/cbmc_starter_kit.egg-info/PKG-INFO
src/cbmc_starter_kit.egg-info/SOURCES.txt
src/cbmc_starter_kit.egg-info/dependency_links.txt
src/cbmc_starter_kit.egg-info/entry_points.txt
src/cbmc_starter_kit.egg-info/requires.txt
src/cbmc_starter_kit.egg-info/top_level.txt
src/cbmc_starter_kit/etc/bash_completion.d/cbmc-starter-kit.sh
src/cbmc_starter_kit/template-for-proof/FUNCTION_harness.c
src/cbmc_starter_kit/template-for-proof/Makefile
src/cbmc_starter_kit/template-for-proof/README.md
src/cbmc_starter_kit/template-for-proof/cbmc-proof.txt
src/cbmc_starter_kit/template-for-proof/cbmc-viewer.json
src/cbmc_starter_kit/template-for-repository/.gitignore
src/cbmc_starter_kit/template-for-repository/include/README.md
src/cbmc_starter_kit/template-for-repository/negative_tests/README.md
src/cbmc_starter_kit/template-for-repository/negative_tests/assert/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/assert/assert_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/bounds_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/bounds_check/bounds_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/conversion_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/conversion_check/conversion_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/div_by_zero_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/div_by_zero_check/div_by_zero_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/float_overflow_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/float_overflow_check/float_overflow_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/float_underflow_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/float_underflow_check/float_underflow_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/nan_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/nan_check/nan_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/pointer_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/pointer_check/pointer_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/pointer_overflow_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/pointer_overflow_check/pointer_overflow_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/pointer_primitive_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/pointer_primitive_check/pointer_primitive_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/pointer_underflow_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/pointer_underflow_check/pointer_underflow_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/signed_overflow_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/signed_overflow_check/signed_overflow_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/signed_underflow_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/signed_underflow_check/signed_underflow_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/undefined_shift_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/undefined_shift_check/undefined_shift_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/unsigned_overflow_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/unsigned_overflow_check/unsigned_overflow_check_harness.c
src/cbmc_starter_kit/template-for-repository/negative_tests/unsigned_underflow_check/Makefile
src/cbmc_starter_kit/template-for-repository/negative_tests/unsigned_underflow_check/unsigned_underflow_check_harness.c
src/cbmc_starter_kit/template-for-repository/proofs/Makefile-project-defines
src/cbmc_starter_kit/template-for-repository/proofs/Makefile-project-targets
src/cbmc_starter_kit/template-for-repository/proofs/Makefile-project-testing
src/cbmc_starter_kit/template-for-repository/proofs/Makefile.common
src/cbmc_starter_kit/template-for-repository/proofs/README.md
src/cbmc_starter_kit/template-for-repository/proofs/run-cbmc-proofs.py
src/cbmc_starter_kit/template-for-repository/sources/README.md
src/cbmc_starter_kit/template-for-repository/stubs/README.md