- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (8): LICENSE test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/Makefile test/cbmc/proofs/copyHeaderStringToCanonicalBuffer/Makefile test/cbmc/proofs/Makefile-project-targets test/cbmc/proofs/Makefile-project-defines test/cbmc/proofs/Makefile-template-defines test/cbmc/proofs/SigV4_AwsIotDateToIso8601/Makefile test/cbmc/proofs/Makefile-project-testing - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.dox files (2): docs/doxygen/porting.dox docs/doxygen/pages.dox - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.common files (1): test/cbmc/proofs/Makefile-json.common - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.pu files (1): docs/plantuml/sigv4_design.pu - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.config files (1): tools/coverity/misra.config - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.doxyfile files (1): docs/doxygen/config.doxyfile - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -