added containing folder

loonwerks · Jun 19, 2024 · d2ee9e2 · d2ee9e2
1 parent 57ca123
commit d2ee9e2
Show file tree

Hide file tree

Showing 2,065 changed files with 2,859 additions and 0 deletions.
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.AGREE_Definitions.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.AGREE_Definitions.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.CASE_Scheduling.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.CASE_Scheduling.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.Data_Types.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.Data_Types.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.FC.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.FC.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.GS.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.GS.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.HAMR.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.HAMR.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.MC.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.MC.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.SW.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.SW.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.UAS.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.UAS.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.UAS_Buses.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.UAS_Buses.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/.UAV.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/.UAV.aadlbin
diff --git a/Cyber-Resilient-UAV/.aadlbin-gen/Requirements/.CASE_Requirements.aadlbin b/Cyber-Resilient-UAV/.aadlbin-gen/Requirements/.CASE_Requirements.aadlbin
diff --git a/.project → Cyber-Resilient-UAV/.project b/.project → Cyber-Resilient-UAV/.project
diff --git a/.reqdb → Cyber-Resilient-UAV/.reqdb b/.reqdb → Cyber-Resilient-UAV/.reqdb
diff --git a/.settings/org.sireum.aadl.hamr.prefs → ...-UAV/.settings/org.sireum.aadl.hamr.prefs b/.settings/org.sireum.aadl.hamr.prefs → ...-UAV/.settings/org.sireum.aadl.hamr.prefs
diff --git a/.slang/MC_MissionComputer_Impl_Instance.json → ...ang/MC_MissionComputer_Impl_Instance.json b/.slang/MC_MissionComputer_Impl_Instance.json → ...ang/MC_MissionComputer_Impl_Instance.json
diff --git a/AADL Modeling Guidelines for CASE.pdf → ...UAV/AADL Modeling Guidelines for CASE.pdf b/AADL Modeling Guidelines for CASE.pdf → ...UAV/AADL Modeling Guidelines for CASE.pdf
diff --git a/AGREE_Definitions.aadl → Cyber-Resilient-UAV/AGREE_Definitions.aadl b/AGREE_Definitions.aadl → Cyber-Resilient-UAV/AGREE_Definitions.aadl
diff --git a/BriefCASE Tutorial.pdf → Cyber-Resilient-UAV/BriefCASE Tutorial.pdf b/BriefCASE Tutorial.pdf → Cyber-Resilient-UAV/BriefCASE Tutorial.pdf
diff --git a/CASE_Scheduling.aadl → Cyber-Resilient-UAV/CASE_Scheduling.aadl b/CASE_Scheduling.aadl → Cyber-Resilient-UAV/CASE_Scheduling.aadl
diff --git a/...nent_Source/KU_Attestation/CMakeLists.txt → ...nent_Source/KU_Attestation/CMakeLists.txt b/...nent_Source/KU_Attestation/CMakeLists.txt → ...nent_Source/KU_Attestation/CMakeLists.txt
diff --git a/..._Source/KU_Attestation/CakeMLHelper.cmake → ..._Source/KU_Attestation/CakeMLHelper.cmake b/..._Source/KU_Attestation/CakeMLHelper.cmake → ..._Source/KU_Attestation/CakeMLHelper.cmake
diff --git a/...Source/KU_Attestation/DefaultConfig.cmake → ...Source/KU_Attestation/DefaultConfig.cmake b/...Source/KU_Attestation/DefaultConfig.cmake → ...Source/KU_Attestation/DefaultConfig.cmake
diff --git a/Component_Source/KU_Attestation/LICENSE → ...V/Component_Source/KU_Attestation/LICENSE b/Component_Source/KU_Attestation/LICENSE → ...V/Component_Source/KU_Attestation/LICENSE
diff --git a/Component_Source/KU_Attestation/README.md → ...Component_Source/KU_Attestation/README.md b/Component_Source/KU_Attestation/README.md → ...Component_Source/KU_Attestation/README.md
diff --git a/...nt_Source/KU_Attestation/am/CommTypes.sml → ...nt_Source/KU_Attestation/am/CommTypes.sml b/...nt_Source/KU_Attestation/am/CommTypes.sml → ...nt_Source/KU_Attestation/am/CommTypes.sml
diff --git a/...Source/KU_Attestation/am/Measurements.sml → ...Source/KU_Attestation/am/Measurements.sml b/...Source/KU_Attestation/am/Measurements.sml → ...Source/KU_Attestation/am/Measurements.sml
diff --git a/Component_Source/KU_Attestation/am/README.md → ...ponent_Source/KU_Attestation/am/README.md b/Component_Source/KU_Attestation/am/README.md → ...ponent_Source/KU_Attestation/am/README.md
diff --git a/...ent_Source/KU_Attestation/am/ServerAm.sml → ...ent_Source/KU_Attestation/am/ServerAm.sml b/...ent_Source/KU_Attestation/am/ServerAm.sml → ...ent_Source/KU_Attestation/am/ServerAm.sml
diff --git a/...nent_Source/KU_Attestation/apps/README.md → ...nent_Source/KU_Attestation/apps/README.md b/...nent_Source/KU_Attestation/apps/README.md → ...nent_Source/KU_Attestation/apps/README.md
diff --git a/.../case-tool-assessment/BadGoldenHashes.sml → .../case-tool-assessment/BadGoldenHashes.sml b/.../case-tool-assessment/BadGoldenHashes.sml → .../case-tool-assessment/BadGoldenHashes.sml
diff --git a/.../apps/case-tool-assessment/CMakeLists.txt → .../apps/case-tool-assessment/CMakeLists.txt b/.../apps/case-tool-assessment/CMakeLists.txt → .../apps/case-tool-assessment/CMakeLists.txt
diff --git a/...tion/apps/case-tool-assessment/Config.sml → ...tion/apps/case-tool-assessment/Config.sml b/...tion/apps/case-tool-assessment/Config.sml → ...tion/apps/case-tool-assessment/Config.sml
diff --git a/.../apps/case-tool-assessment/FakeCrypto.sml → .../apps/case-tool-assessment/FakeCrypto.sml b/.../apps/case-tool-assessment/FakeCrypto.sml → .../apps/case-tool-assessment/FakeCrypto.sml
diff --git a/...pps/case-tool-assessment/GoldenHashes.sml → ...pps/case-tool-assessment/GoldenHashes.sml b/...pps/case-tool-assessment/GoldenHashes.sml → ...pps/case-tool-assessment/GoldenHashes.sml
diff --git a/...pps/case-tool-assessment/HamrStandard.sml → ...pps/case-tool-assessment/HamrStandard.sml b/...pps/case-tool-assessment/HamrStandard.sml → ...pps/case-tool-assessment/HamrStandard.sml
diff --git a/...tation/apps/case-tool-assessment/Heli.sml → ...tation/apps/case-tool-assessment/Heli.sml b/...tation/apps/case-tool-assessment/Heli.sml → ...tation/apps/case-tool-assessment/Heli.sml
diff --git a/...ation/apps/case-tool-assessment/README.md → ...ation/apps/case-tool-assessment/README.md b/...ation/apps/case-tool-assessment/README.md → ...ation/apps/case-tool-assessment/README.md
diff --git a/.../apps/case-tool-assessment/RealCrypto.sml → .../apps/case-tool-assessment/RealCrypto.sml b/.../apps/case-tool-assessment/RealCrypto.sml → .../apps/case-tool-assessment/RealCrypto.sml
diff --git a/...tation/apps/case-tool-assessment/User.sml → ...tation/apps/case-tool-assessment/User.sml b/...tation/apps/case-tool-assessment/User.sml → ...tation/apps/case-tool-assessment/User.sml
diff --git a/...ps/case-tool-assessment/fake_crypto_ffi.c → ...ps/case-tool-assessment/fake_crypto_ffi.c b/...ps/case-tool-assessment/fake_crypto_ffi.c → ...ps/case-tool-assessment/fake_crypto_ffi.c
diff --git a/...case-tool-assessment/fake_hamr_standard.c → ...case-tool-assessment/fake_hamr_standard.c b/...case-tool-assessment/fake_hamr_standard.c → ...case-tool-assessment/fake_hamr_standard.c
diff --git a/...pps/case-tool-assessment/fake_heli_hamr.c → ...pps/case-tool-assessment/fake_heli_hamr.c b/...pps/case-tool-assessment/fake_heli_hamr.c → ...pps/case-tool-assessment/fake_heli_hamr.c
diff --git a/...pps/case-tool-assessment/fake_user_hamr.c → ...pps/case-tool-assessment/fake_user_hamr.c b/...pps/case-tool-assessment/fake_user_hamr.c → ...pps/case-tool-assessment/fake_user_hamr.c
diff --git a/...estation/apps/serverClient/CMakeLists.txt → ...estation/apps/serverClient/CMakeLists.txt b/...estation/apps/serverClient/CMakeLists.txt → ...estation/apps/serverClient/CMakeLists.txt
diff --git a/...estation/apps/serverClient/ClientTest.sml → ...estation/apps/serverClient/ClientTest.sml b/...estation/apps/serverClient/ClientTest.sml → ...estation/apps/serverClient/ClientTest.sml
diff --git a/...U_Attestation/apps/serverClient/README.md → ...U_Attestation/apps/serverClient/README.md b/...U_Attestation/apps/serverClient/README.md → ...U_Attestation/apps/serverClient/README.md
diff --git a/..._Attestation/apps/serverClient/Server.sml → ..._Attestation/apps/serverClient/Server.sml b/..._Attestation/apps/serverClient/Server.sml → ..._Attestation/apps/serverClient/Server.sml
diff --git a/...ttestation/apps/serverClient/hashTest.txt → ...ttestation/apps/serverClient/hashTest.txt b/...ttestation/apps/serverClient/hashTest.txt → ...ttestation/apps/serverClient/hashTest.txt
diff --git a/..._Attestation/apps/template/CMakeLists.txt → ..._Attestation/apps/template/CMakeLists.txt b/..._Attestation/apps/template/CMakeLists.txt → ..._Attestation/apps/template/CMakeLists.txt
diff --git a/...ce/KU_Attestation/apps/template/README.md → ...ce/KU_Attestation/apps/template/README.md b/...ce/KU_Attestation/apps/template/README.md → ...ce/KU_Attestation/apps/template/README.md
diff --git a/...rce/KU_Attestation/apps/template/main.sml → ...rce/KU_Attestation/apps/template/main.sml b/...rce/KU_Attestation/apps/template/main.sml → ...rce/KU_Attestation/apps/template/main.sml
diff --git a/.../KU_Attestation/apps/tests/CMakeLists.txt → .../KU_Attestation/apps/tests/CMakeLists.txt b/.../KU_Attestation/apps/tests/CMakeLists.txt → .../KU_Attestation/apps/tests/CMakeLists.txt
diff --git a/...Source/KU_Attestation/apps/tests/Main.sml → ...Source/KU_Attestation/apps/tests/Main.sml b/...Source/KU_Attestation/apps/tests/Main.sml → ...Source/KU_Attestation/apps/tests/Main.sml
diff --git a/...ource/KU_Attestation/apps/tests/README.md → ...ource/KU_Attestation/apps/tests/README.md b/...ource/KU_Attestation/apps/tests/README.md → ...ource/KU_Attestation/apps/tests/README.md
diff --git a/...ce/KU_Attestation/apps/tests/hashTest.txt → ...ce/KU_Attestation/apps/tests/hashTest.txt b/...ce/KU_Attestation/apps/tests/hashTest.txt → ...ce/KU_Attestation/apps/tests/hashTest.txt
diff --git a/...e/KU_Attestation/apps/tests/testDir/1.txt → ...e/KU_Attestation/apps/tests/testDir/1.txt b/...e/KU_Attestation/apps/tests/testDir/1.txt → ...e/KU_Attestation/apps/tests/testDir/1.txt
diff --git a/...estation/apps/tests/testDir/dir2/sub1.txt → ...estation/apps/tests/testDir/dir2/sub1.txt b/...estation/apps/tests/testDir/dir2/sub1.txt → ...estation/apps/tests/testDir/dir2/sub1.txt
diff --git a/...ource/KU_Attestation/build/CMakeCache.txt → ...ource/KU_Attestation/build/CMakeCache.txt b/...ource/KU_Attestation/build/CMakeCache.txt → ...ource/KU_Attestation/build/CMakeCache.txt
diff --git a/.../CMakeFiles/3.18.4/CMakeASMCompiler.cmake → .../CMakeFiles/3.18.4/CMakeASMCompiler.cmake b/.../CMakeFiles/3.18.4/CMakeASMCompiler.cmake → .../CMakeFiles/3.18.4/CMakeASMCompiler.cmake
diff --git a/...ld/CMakeFiles/3.18.4/CMakeCCompiler.cmake → ...ld/CMakeFiles/3.18.4/CMakeCCompiler.cmake b/...ld/CMakeFiles/3.18.4/CMakeCCompiler.cmake → ...ld/CMakeFiles/3.18.4/CMakeCCompiler.cmake
diff --git a/...es/3.18.4/CMakeDetermineCompilerABI_C.bin → ...es/3.18.4/CMakeDetermineCompilerABI_C.bin b/...es/3.18.4/CMakeDetermineCompilerABI_C.bin → ...es/3.18.4/CMakeDetermineCompilerABI_C.bin
diff --git a/...build/CMakeFiles/3.18.4/CMakeSystem.cmake → ...build/CMakeFiles/3.18.4/CMakeSystem.cmake b/...build/CMakeFiles/3.18.4/CMakeSystem.cmake → ...build/CMakeFiles/3.18.4/CMakeSystem.cmake
diff --git a/...les/3.18.4/CompilerIdC/CMakeCCompilerId.c → ...les/3.18.4/CompilerIdC/CMakeCCompilerId.c b/...les/3.18.4/CompilerIdC/CMakeCCompilerId.c → ...les/3.18.4/CompilerIdC/CMakeCCompilerId.c
diff --git a/...build/CMakeFiles/3.18.4/CompilerIdC/a.out → ...build/CMakeFiles/3.18.4/CompilerIdC/a.out b/...build/CMakeFiles/3.18.4/CompilerIdC/a.out → ...build/CMakeFiles/3.18.4/CompilerIdC/a.out
diff --git a/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake b/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake
diff --git a/...estation/build/CMakeFiles/CMakeOutput.log → ...estation/build/CMakeFiles/CMakeOutput.log b/...estation/build/CMakeFiles/CMakeOutput.log → ...estation/build/CMakeFiles/CMakeOutput.log
diff --git a/...tion/build/CMakeFiles/CMakeRuleHashes.txt → ...tion/build/CMakeFiles/CMakeRuleHashes.txt b/...tion/build/CMakeFiles/CMakeRuleHashes.txt → ...tion/build/CMakeFiles/CMakeRuleHashes.txt
diff --git a/...testation/build/CMakeFiles/Makefile.cmake → ...testation/build/CMakeFiles/Makefile.cmake b/...testation/build/CMakeFiles/Makefile.cmake → ...testation/build/CMakeFiles/Makefile.cmake
diff --git a/...KU_Attestation/build/CMakeFiles/Makefile2 → ...KU_Attestation/build/CMakeFiles/Makefile2 b/...KU_Attestation/build/CMakeFiles/Makefile2 → ...KU_Attestation/build/CMakeFiles/Makefile2
diff --git a/...on/build/CMakeFiles/TargetDirectories.txt → ...on/build/CMakeFiles/TargetDirectories.txt b/...on/build/CMakeFiles/TargetDirectories.txt → ...on/build/CMakeFiles/TargetDirectories.txt
diff --git a/...tation/build/CMakeFiles/cmake.check_cache → ...tation/build/CMakeFiles/cmake.check_cache b/...tation/build/CMakeFiles/cmake.check_cache → ...tation/build/CMakeFiles/cmake.check_cache
diff --git a/...testation/build/CMakeFiles/progress.marks → ...testation/build/CMakeFiles/progress.marks b/...testation/build/CMakeFiles/progress.marks → ...testation/build/CMakeFiles/progress.marks
diff --git a/...nent_Source/KU_Attestation/build/Makefile → ...nent_Source/KU_Attestation/build/Makefile b/...nent_Source/KU_Attestation/build/Makefile → ...nent_Source/KU_Attestation/build/Makefile
diff --git a/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake b/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake
diff --git a/...es/fake_heli_am.cake.dir/DependInfo.cmake → ...es/fake_heli_am.cake.dir/DependInfo.cmake b/...es/fake_heli_am.cake.dir/DependInfo.cmake → ...es/fake_heli_am.cake.dir/DependInfo.cmake
diff --git a/...akeFiles/fake_heli_am.cake.dir/build.make → ...akeFiles/fake_heli_am.cake.dir/build.make b/...akeFiles/fake_heli_am.cake.dir/build.make → ...akeFiles/fake_heli_am.cake.dir/build.make
diff --git a/...s/fake_heli_am.cake.dir/cmake_clean.cmake → ...s/fake_heli_am.cake.dir/cmake_clean.cmake b/...s/fake_heli_am.cake.dir/cmake_clean.cmake → ...s/fake_heli_am.cake.dir/cmake_clean.cmake
diff --git a/...heli_am.cake.dir/cmake_clean_target.cmake → ...heli_am.cake.dir/cmake_clean_target.cmake b/...heli_am.cake.dir/cmake_clean_target.cmake → ...heli_am.cake.dir/cmake_clean_target.cmake
diff --git a/...keFiles/fake_heli_am.cake.dir/depend.make → ...keFiles/fake_heli_am.cake.dir/depend.make b/...keFiles/fake_heli_am.cake.dir/depend.make → ...keFiles/fake_heli_am.cake.dir/depend.make
diff --git a/...akeFiles/fake_heli_am.cake.dir/flags.make → ...akeFiles/fake_heli_am.cake.dir/flags.make b/...akeFiles/fake_heli_am.cake.dir/flags.make → ...akeFiles/fake_heli_am.cake.dir/flags.make
diff --git a/...CMakeFiles/fake_heli_am.cake.dir/link.txt → ...CMakeFiles/fake_heli_am.cake.dir/link.txt b/...CMakeFiles/fake_heli_am.cake.dir/link.txt → ...CMakeFiles/fake_heli_am.cake.dir/link.txt
diff --git a/...Files/fake_heli_am.cake.dir/progress.make → ...Files/fake_heli_am.cake.dir/progress.make b/...Files/fake_heli_am.cake.dir/progress.make → ...Files/fake_heli_am.cake.dir/progress.make
diff --git a/...keFiles/fake_heli_am.dir/DependInfo.cmake → ...keFiles/fake_heli_am.dir/DependInfo.cmake b/...keFiles/fake_heli_am.dir/DependInfo.cmake → ...keFiles/fake_heli_am.dir/DependInfo.cmake
diff --git a/...nt/CMakeFiles/fake_heli_am.dir/build.make → ...nt/CMakeFiles/fake_heli_am.dir/build.make b/...nt/CMakeFiles/fake_heli_am.dir/build.make → ...nt/CMakeFiles/fake_heli_am.dir/build.make
diff --git a/...eFiles/fake_heli_am.dir/cmake_clean.cmake → ...eFiles/fake_heli_am.dir/cmake_clean.cmake b/...eFiles/fake_heli_am.dir/cmake_clean.cmake → ...eFiles/fake_heli_am.dir/cmake_clean.cmake
diff --git a/...t/CMakeFiles/fake_heli_am.dir/depend.make → ...t/CMakeFiles/fake_heli_am.dir/depend.make b/...t/CMakeFiles/fake_heli_am.dir/depend.make → ...t/CMakeFiles/fake_heli_am.dir/depend.make
diff --git a/...nt/CMakeFiles/fake_heli_am.dir/flags.make → ...nt/CMakeFiles/fake_heli_am.dir/flags.make b/...nt/CMakeFiles/fake_heli_am.dir/flags.make → ...nt/CMakeFiles/fake_heli_am.dir/flags.make
diff --git a/...ment/CMakeFiles/fake_heli_am.dir/link.txt → ...ment/CMakeFiles/fake_heli_am.dir/link.txt b/...ment/CMakeFiles/fake_heli_am.dir/link.txt → ...ment/CMakeFiles/fake_heli_am.dir/link.txt
diff --git a/...CMakeFiles/fake_heli_am.dir/progress.make → ...CMakeFiles/fake_heli_am.dir/progress.make b/...CMakeFiles/fake_heli_am.dir/progress.make → ...CMakeFiles/fake_heli_am.dir/progress.make
diff --git a/...fake_tool_assessment.dir/DependInfo.cmake → ...fake_tool_assessment.dir/DependInfo.cmake b/...fake_tool_assessment.dir/DependInfo.cmake → ...fake_tool_assessment.dir/DependInfo.cmake
diff --git a/...Files/fake_tool_assessment.dir/build.make → ...Files/fake_tool_assessment.dir/build.make b/...Files/fake_tool_assessment.dir/build.make → ...Files/fake_tool_assessment.dir/build.make
diff --git a/...ake_tool_assessment.dir/cmake_clean.cmake → ...ake_tool_assessment.dir/cmake_clean.cmake b/...ake_tool_assessment.dir/cmake_clean.cmake → ...ake_tool_assessment.dir/cmake_clean.cmake
diff --git a/...es/fake_tool_assessment.dir/progress.make → ...es/fake_tool_assessment.dir/progress.make b/...es/fake_tool_assessment.dir/progress.make → ...es/fake_tool_assessment.dir/progress.make
diff --git a/...es/fake_user_am.cake.dir/DependInfo.cmake → ...es/fake_user_am.cake.dir/DependInfo.cmake b/...es/fake_user_am.cake.dir/DependInfo.cmake → ...es/fake_user_am.cake.dir/DependInfo.cmake
diff --git a/...akeFiles/fake_user_am.cake.dir/build.make → ...akeFiles/fake_user_am.cake.dir/build.make b/...akeFiles/fake_user_am.cake.dir/build.make → ...akeFiles/fake_user_am.cake.dir/build.make
diff --git a/...s/fake_user_am.cake.dir/cmake_clean.cmake → ...s/fake_user_am.cake.dir/cmake_clean.cmake b/...s/fake_user_am.cake.dir/cmake_clean.cmake → ...s/fake_user_am.cake.dir/cmake_clean.cmake
diff --git a/...user_am.cake.dir/cmake_clean_target.cmake → ...user_am.cake.dir/cmake_clean_target.cmake b/...user_am.cake.dir/cmake_clean_target.cmake → ...user_am.cake.dir/cmake_clean_target.cmake
diff --git a/...keFiles/fake_user_am.cake.dir/depend.make → ...keFiles/fake_user_am.cake.dir/depend.make b/...keFiles/fake_user_am.cake.dir/depend.make → ...keFiles/fake_user_am.cake.dir/depend.make
diff --git a/...akeFiles/fake_user_am.cake.dir/flags.make → ...akeFiles/fake_user_am.cake.dir/flags.make b/...akeFiles/fake_user_am.cake.dir/flags.make → ...akeFiles/fake_user_am.cake.dir/flags.make
diff --git a/...CMakeFiles/fake_user_am.cake.dir/link.txt → ...CMakeFiles/fake_user_am.cake.dir/link.txt b/...CMakeFiles/fake_user_am.cake.dir/link.txt → ...CMakeFiles/fake_user_am.cake.dir/link.txt
diff --git a/...Files/fake_user_am.cake.dir/progress.make → ...Files/fake_user_am.cake.dir/progress.make b/...Files/fake_user_am.cake.dir/progress.make → ...Files/fake_user_am.cake.dir/progress.make
diff --git a/...keFiles/fake_user_am.dir/DependInfo.cmake → ...keFiles/fake_user_am.dir/DependInfo.cmake b/...keFiles/fake_user_am.dir/DependInfo.cmake → ...keFiles/fake_user_am.dir/DependInfo.cmake
diff --git a/...nt/CMakeFiles/fake_user_am.dir/build.make → ...nt/CMakeFiles/fake_user_am.dir/build.make b/...nt/CMakeFiles/fake_user_am.dir/build.make → ...nt/CMakeFiles/fake_user_am.dir/build.make
diff --git a/...eFiles/fake_user_am.dir/cmake_clean.cmake → ...eFiles/fake_user_am.dir/cmake_clean.cmake b/...eFiles/fake_user_am.dir/cmake_clean.cmake → ...eFiles/fake_user_am.dir/cmake_clean.cmake
diff --git a/...t/CMakeFiles/fake_user_am.dir/depend.make → ...t/CMakeFiles/fake_user_am.dir/depend.make b/...t/CMakeFiles/fake_user_am.dir/depend.make → ...t/CMakeFiles/fake_user_am.dir/depend.make
diff --git a/...nt/CMakeFiles/fake_user_am.dir/flags.make → ...nt/CMakeFiles/fake_user_am.dir/flags.make b/...nt/CMakeFiles/fake_user_am.dir/flags.make → ...nt/CMakeFiles/fake_user_am.dir/flags.make
diff --git a/...ment/CMakeFiles/fake_user_am.dir/link.txt → ...ment/CMakeFiles/fake_user_am.dir/link.txt b/...ment/CMakeFiles/fake_user_am.dir/link.txt → ...ment/CMakeFiles/fake_user_am.dir/link.txt
diff --git a/...CMakeFiles/fake_user_am.dir/progress.make → ...CMakeFiles/fake_user_am.dir/progress.make b/...CMakeFiles/fake_user_am.dir/progress.make → ...CMakeFiles/fake_user_am.dir/progress.make
diff --git a/...keFiles/heli_am.cake.dir/DependInfo.cmake → ...keFiles/heli_am.cake.dir/DependInfo.cmake b/...keFiles/heli_am.cake.dir/DependInfo.cmake → ...keFiles/heli_am.cake.dir/DependInfo.cmake
diff --git a/...nt/CMakeFiles/heli_am.cake.dir/build.make → ...nt/CMakeFiles/heli_am.cake.dir/build.make b/...nt/CMakeFiles/heli_am.cake.dir/build.make → ...nt/CMakeFiles/heli_am.cake.dir/build.make
diff --git a/...eFiles/heli_am.cake.dir/cmake_clean.cmake → ...eFiles/heli_am.cake.dir/cmake_clean.cmake b/...eFiles/heli_am.cake.dir/cmake_clean.cmake → ...eFiles/heli_am.cake.dir/cmake_clean.cmake
diff --git a/...akeFiles/heli_am.cake.dir/depend.internal → ...akeFiles/heli_am.cake.dir/depend.internal b/...akeFiles/heli_am.cake.dir/depend.internal → ...akeFiles/heli_am.cake.dir/depend.internal
diff --git a/...t/CMakeFiles/heli_am.cake.dir/depend.make → ...t/CMakeFiles/heli_am.cake.dir/depend.make b/...t/CMakeFiles/heli_am.cake.dir/depend.make → ...t/CMakeFiles/heli_am.cake.dir/depend.make
diff --git a/...CMakeFiles/heli_am.cake.dir/progress.make → ...CMakeFiles/heli_am.cake.dir/progress.make b/...CMakeFiles/heli_am.cake.dir/progress.make → ...CMakeFiles/heli_am.cake.dir/progress.make
diff --git a/...t/CMakeFiles/heli_am.dir/DependInfo.cmake → ...t/CMakeFiles/heli_am.dir/DependInfo.cmake b/...t/CMakeFiles/heli_am.dir/DependInfo.cmake → ...t/CMakeFiles/heli_am.dir/DependInfo.cmake
diff --git a/...essment/CMakeFiles/heli_am.dir/build.make → ...essment/CMakeFiles/heli_am.dir/build.make b/...essment/CMakeFiles/heli_am.dir/build.make → ...essment/CMakeFiles/heli_am.dir/build.make
diff --git a/.../CMakeFiles/heli_am.dir/cmake_clean.cmake → .../CMakeFiles/heli_am.dir/cmake_clean.cmake b/.../CMakeFiles/heli_am.dir/cmake_clean.cmake → .../CMakeFiles/heli_am.dir/cmake_clean.cmake
diff --git a/...nt/CMakeFiles/heli_am.dir/depend.internal → ...nt/CMakeFiles/heli_am.dir/depend.internal b/...nt/CMakeFiles/heli_am.dir/depend.internal → ...nt/CMakeFiles/heli_am.dir/depend.internal
diff --git a/...ssment/CMakeFiles/heli_am.dir/depend.make → ...ssment/CMakeFiles/heli_am.dir/depend.make b/...ssment/CMakeFiles/heli_am.dir/depend.make → ...ssment/CMakeFiles/heli_am.dir/depend.make
diff --git a/...ment/CMakeFiles/heli_am.dir/progress.make → ...ment/CMakeFiles/heli_am.dir/progress.make b/...ment/CMakeFiles/heli_am.dir/progress.make → ...ment/CMakeFiles/heli_am.dir/progress.make
diff --git a/...t/CMakeFiles/heli_am_c.dir/C.includecache → ...t/CMakeFiles/heli_am_c.dir/C.includecache b/...t/CMakeFiles/heli_am_c.dir/C.includecache → ...t/CMakeFiles/heli_am_c.dir/C.includecache
diff --git a/...CMakeFiles/heli_am_c.dir/DependInfo.cmake → ...CMakeFiles/heli_am_c.dir/DependInfo.cmake b/...CMakeFiles/heli_am_c.dir/DependInfo.cmake → ...CMakeFiles/heli_am_c.dir/DependInfo.cmake
diff --git a/..._c.dir/__/__/system/crypto/crypto_ffi.c.o → ..._c.dir/__/__/system/crypto/crypto_ffi.c.o b/..._c.dir/__/__/system/crypto/crypto_ffi.c.o → ..._c.dir/__/__/system/crypto/crypto_ffi.c.o
diff --git a/...tar/dist/gcc-compatible/Hacl_Chacha20.c.o → ...tar/dist/gcc-compatible/Hacl_Chacha20.c.o b/...tar/dist/gcc-compatible/Hacl_Chacha20.c.o → ...tar/dist/gcc-compatible/Hacl_Chacha20.c.o
diff --git a/...st/gcc-compatible/Hacl_Chacha20_Vec32.c.o → ...st/gcc-compatible/Hacl_Chacha20_Vec32.c.o b/...st/gcc-compatible/Hacl_Chacha20_Vec32.c.o → ...st/gcc-compatible/Hacl_Chacha20_Vec32.c.o
diff --git a/...ist/gcc-compatible/Hacl_Curve25519_51.c.o → ...ist/gcc-compatible/Hacl_Curve25519_51.c.o b/...ist/gcc-compatible/Hacl_Curve25519_51.c.o → ...ist/gcc-compatible/Hacl_Curve25519_51.c.o
diff --git a/...star/dist/gcc-compatible/Hacl_Ed25519.c.o → ...star/dist/gcc-compatible/Hacl_Ed25519.c.o b/...star/dist/gcc-compatible/Hacl_Ed25519.c.o → ...star/dist/gcc-compatible/Hacl_Ed25519.c.o
diff --git a/...cl-star/dist/gcc-compatible/Hacl_Hash.c.o → ...cl-star/dist/gcc-compatible/Hacl_Hash.c.o b/...cl-star/dist/gcc-compatible/Hacl_Hash.c.o → ...cl-star/dist/gcc-compatible/Hacl_Hash.c.o
diff --git a/...sment/CMakeFiles/heli_am_c.dir/build.make → ...sment/CMakeFiles/heli_am_c.dir/build.make b/...sment/CMakeFiles/heli_am_c.dir/build.make → ...sment/CMakeFiles/heli_am_c.dir/build.make
diff --git a/...MakeFiles/heli_am_c.dir/cmake_clean.cmake → ...MakeFiles/heli_am_c.dir/cmake_clean.cmake b/...MakeFiles/heli_am_c.dir/cmake_clean.cmake → ...MakeFiles/heli_am_c.dir/cmake_clean.cmake
diff --git a/...es/heli_am_c.dir/cmake_clean_target.cmake → ...es/heli_am_c.dir/cmake_clean_target.cmake b/...es/heli_am_c.dir/cmake_clean_target.cmake → ...es/heli_am_c.dir/cmake_clean_target.cmake
diff --git a/.../CMakeFiles/heli_am_c.dir/depend.internal → .../CMakeFiles/heli_am_c.dir/depend.internal b/.../CMakeFiles/heli_am_c.dir/depend.internal → .../CMakeFiles/heli_am_c.dir/depend.internal
diff --git a/...ment/CMakeFiles/heli_am_c.dir/depend.make → ...ment/CMakeFiles/heli_am_c.dir/depend.make b/...ment/CMakeFiles/heli_am_c.dir/depend.make → ...ment/CMakeFiles/heli_am_c.dir/depend.make
diff --git a/...sment/CMakeFiles/heli_am_c.dir/flags.make → ...sment/CMakeFiles/heli_am_c.dir/flags.make b/...sment/CMakeFiles/heli_am_c.dir/flags.make → ...sment/CMakeFiles/heli_am_c.dir/flags.make
diff --git a/...essment/CMakeFiles/heli_am_c.dir/link.txt → ...essment/CMakeFiles/heli_am_c.dir/link.txt b/...essment/CMakeFiles/heli_am_c.dir/link.txt → ...essment/CMakeFiles/heli_am_c.dir/link.txt
diff --git a/...nt/CMakeFiles/heli_am_c.dir/progress.make → ...nt/CMakeFiles/heli_am_c.dir/progress.make b/...nt/CMakeFiles/heli_am_c.dir/progress.make → ...nt/CMakeFiles/heli_am_c.dir/progress.make
diff --git a/...eli_am_nocrypto.cake.dir/DependInfo.cmake → ...eli_am_nocrypto.cake.dir/DependInfo.cmake b/...eli_am_nocrypto.cake.dir/DependInfo.cmake → ...eli_am_nocrypto.cake.dir/DependInfo.cmake
diff --git a/...iles/heli_am_nocrypto.cake.dir/build.make → ...iles/heli_am_nocrypto.cake.dir/build.make b/...iles/heli_am_nocrypto.cake.dir/build.make → ...iles/heli_am_nocrypto.cake.dir/build.make
diff --git a/...li_am_nocrypto.cake.dir/cmake_clean.cmake → ...li_am_nocrypto.cake.dir/cmake_clean.cmake b/...li_am_nocrypto.cake.dir/cmake_clean.cmake → ...li_am_nocrypto.cake.dir/cmake_clean.cmake
diff --git a/...s/heli_am_nocrypto.cake.dir/progress.make → ...s/heli_am_nocrypto.cake.dir/progress.make b/...s/heli_am_nocrypto.cake.dir/progress.make → ...s/heli_am_nocrypto.cake.dir/progress.make
diff --git a/...les/heli_am_nocrypto.dir/DependInfo.cmake → ...les/heli_am_nocrypto.dir/DependInfo.cmake b/...les/heli_am_nocrypto.dir/DependInfo.cmake → ...les/heli_am_nocrypto.dir/DependInfo.cmake
diff --git a/...MakeFiles/heli_am_nocrypto.dir/build.make → ...MakeFiles/heli_am_nocrypto.dir/build.make b/...MakeFiles/heli_am_nocrypto.dir/build.make → ...MakeFiles/heli_am_nocrypto.dir/build.make
diff --git a/...es/heli_am_nocrypto.dir/cmake_clean.cmake → ...es/heli_am_nocrypto.dir/cmake_clean.cmake b/...es/heli_am_nocrypto.dir/cmake_clean.cmake → ...es/heli_am_nocrypto.dir/cmake_clean.cmake
diff --git a/...eFiles/heli_am_nocrypto.dir/progress.make → ...eFiles/heli_am_nocrypto.dir/progress.make b/...eFiles/heli_am_nocrypto.dir/progress.make → ...eFiles/heli_am_nocrypto.dir/progress.make
diff --git a/...s/heli_am_nocrypto_c.dir/DependInfo.cmake → ...s/heli_am_nocrypto_c.dir/DependInfo.cmake b/...s/heli_am_nocrypto_c.dir/DependInfo.cmake → ...s/heli_am_nocrypto_c.dir/DependInfo.cmake
diff --git a/...keFiles/heli_am_nocrypto_c.dir/build.make → ...keFiles/heli_am_nocrypto_c.dir/build.make b/...keFiles/heli_am_nocrypto_c.dir/build.make → ...keFiles/heli_am_nocrypto_c.dir/build.make
diff --git a/.../heli_am_nocrypto_c.dir/cmake_clean.cmake → .../heli_am_nocrypto_c.dir/cmake_clean.cmake b/.../heli_am_nocrypto_c.dir/cmake_clean.cmake → .../heli_am_nocrypto_c.dir/cmake_clean.cmake
diff --git a/...m_nocrypto_c.dir/cmake_clean_target.cmake → ...m_nocrypto_c.dir/cmake_clean_target.cmake b/...m_nocrypto_c.dir/cmake_clean_target.cmake → ...m_nocrypto_c.dir/cmake_clean_target.cmake
diff --git a/...eFiles/heli_am_nocrypto_c.dir/depend.make → ...eFiles/heli_am_nocrypto_c.dir/depend.make b/...eFiles/heli_am_nocrypto_c.dir/depend.make → ...eFiles/heli_am_nocrypto_c.dir/depend.make
diff --git a/...keFiles/heli_am_nocrypto_c.dir/flags.make → ...keFiles/heli_am_nocrypto_c.dir/flags.make b/...keFiles/heli_am_nocrypto_c.dir/flags.make → ...keFiles/heli_am_nocrypto_c.dir/flags.make
diff --git a/...MakeFiles/heli_am_nocrypto_c.dir/link.txt → ...MakeFiles/heli_am_nocrypto_c.dir/link.txt b/...MakeFiles/heli_am_nocrypto_c.dir/link.txt → ...MakeFiles/heli_am_nocrypto_c.dir/link.txt
diff --git a/...iles/heli_am_nocrypto_c.dir/progress.make → ...iles/heli_am_nocrypto_c.dir/progress.make b/...iles/heli_am_nocrypto_c.dir/progress.make → ...iles/heli_am_nocrypto_c.dir/progress.make
diff --git a/...tool-assessment/CMakeFiles/progress.marks → ...tool-assessment/CMakeFiles/progress.marks b/...tool-assessment/CMakeFiles/progress.marks → ...tool-assessment/CMakeFiles/progress.marks
diff --git a/...iles/tool_assessment.dir/DependInfo.cmake → ...iles/tool_assessment.dir/DependInfo.cmake b/...iles/tool_assessment.dir/DependInfo.cmake → ...iles/tool_assessment.dir/DependInfo.cmake
diff --git a/...CMakeFiles/tool_assessment.dir/build.make → ...CMakeFiles/tool_assessment.dir/build.make b/...CMakeFiles/tool_assessment.dir/build.make → ...CMakeFiles/tool_assessment.dir/build.make
diff --git a/...les/tool_assessment.dir/cmake_clean.cmake → ...les/tool_assessment.dir/cmake_clean.cmake b/...les/tool_assessment.dir/cmake_clean.cmake → ...les/tool_assessment.dir/cmake_clean.cmake
diff --git a/...keFiles/tool_assessment.dir/progress.make → ...keFiles/tool_assessment.dir/progress.make b/...keFiles/tool_assessment.dir/progress.make → ...keFiles/tool_assessment.dir/progress.make
diff --git a/..._assessment_nocrypto.dir/DependInfo.cmake → ..._assessment_nocrypto.dir/DependInfo.cmake b/..._assessment_nocrypto.dir/DependInfo.cmake → ..._assessment_nocrypto.dir/DependInfo.cmake
diff --git a/...s/tool_assessment_nocrypto.dir/build.make → ...s/tool_assessment_nocrypto.dir/build.make b/...s/tool_assessment_nocrypto.dir/build.make → ...s/tool_assessment_nocrypto.dir/build.make
diff --git a/...assessment_nocrypto.dir/cmake_clean.cmake → ...assessment_nocrypto.dir/cmake_clean.cmake b/...assessment_nocrypto.dir/cmake_clean.cmake → ...assessment_nocrypto.dir/cmake_clean.cmake
diff --git a/...ool_assessment_nocrypto.dir/progress.make → ...ool_assessment_nocrypto.dir/progress.make b/...ool_assessment_nocrypto.dir/progress.make → ...ool_assessment_nocrypto.dir/progress.make
diff --git a/...keFiles/user_am.cake.dir/DependInfo.cmake → ...keFiles/user_am.cake.dir/DependInfo.cmake b/...keFiles/user_am.cake.dir/DependInfo.cmake → ...keFiles/user_am.cake.dir/DependInfo.cmake
diff --git a/...nt/CMakeFiles/user_am.cake.dir/build.make → ...nt/CMakeFiles/user_am.cake.dir/build.make b/...nt/CMakeFiles/user_am.cake.dir/build.make → ...nt/CMakeFiles/user_am.cake.dir/build.make
diff --git a/...eFiles/user_am.cake.dir/cmake_clean.cmake → ...eFiles/user_am.cake.dir/cmake_clean.cmake b/...eFiles/user_am.cake.dir/cmake_clean.cmake → ...eFiles/user_am.cake.dir/cmake_clean.cmake
diff --git a/...CMakeFiles/user_am.cake.dir/progress.make → ...CMakeFiles/user_am.cake.dir/progress.make b/...CMakeFiles/user_am.cake.dir/progress.make → ...CMakeFiles/user_am.cake.dir/progress.make
diff --git a/...t/CMakeFiles/user_am.dir/DependInfo.cmake → ...t/CMakeFiles/user_am.dir/DependInfo.cmake b/...t/CMakeFiles/user_am.dir/DependInfo.cmake → ...t/CMakeFiles/user_am.dir/DependInfo.cmake
diff --git a/...essment/CMakeFiles/user_am.dir/build.make → ...essment/CMakeFiles/user_am.dir/build.make b/...essment/CMakeFiles/user_am.dir/build.make → ...essment/CMakeFiles/user_am.dir/build.make
diff --git a/.../CMakeFiles/user_am.dir/cmake_clean.cmake → .../CMakeFiles/user_am.dir/cmake_clean.cmake b/.../CMakeFiles/user_am.dir/cmake_clean.cmake → .../CMakeFiles/user_am.dir/cmake_clean.cmake
diff --git a/...ment/CMakeFiles/user_am.dir/progress.make → ...ment/CMakeFiles/user_am.dir/progress.make b/...ment/CMakeFiles/user_am.dir/progress.make → ...ment/CMakeFiles/user_am.dir/progress.make
diff --git a/...CMakeFiles/user_am_c.dir/DependInfo.cmake → ...CMakeFiles/user_am_c.dir/DependInfo.cmake b/...CMakeFiles/user_am_c.dir/DependInfo.cmake → ...CMakeFiles/user_am_c.dir/DependInfo.cmake
diff --git a/...sment/CMakeFiles/user_am_c.dir/build.make → ...sment/CMakeFiles/user_am_c.dir/build.make b/...sment/CMakeFiles/user_am_c.dir/build.make → ...sment/CMakeFiles/user_am_c.dir/build.make
diff --git a/...MakeFiles/user_am_c.dir/cmake_clean.cmake → ...MakeFiles/user_am_c.dir/cmake_clean.cmake b/...MakeFiles/user_am_c.dir/cmake_clean.cmake → ...MakeFiles/user_am_c.dir/cmake_clean.cmake
diff --git a/...es/user_am_c.dir/cmake_clean_target.cmake → ...es/user_am_c.dir/cmake_clean_target.cmake b/...es/user_am_c.dir/cmake_clean_target.cmake → ...es/user_am_c.dir/cmake_clean_target.cmake
diff --git a/...ment/CMakeFiles/user_am_c.dir/depend.make → ...ment/CMakeFiles/user_am_c.dir/depend.make b/...ment/CMakeFiles/user_am_c.dir/depend.make → ...ment/CMakeFiles/user_am_c.dir/depend.make
diff --git a/...sment/CMakeFiles/user_am_c.dir/flags.make → ...sment/CMakeFiles/user_am_c.dir/flags.make b/...sment/CMakeFiles/user_am_c.dir/flags.make → ...sment/CMakeFiles/user_am_c.dir/flags.make
diff --git a/...essment/CMakeFiles/user_am_c.dir/link.txt → ...essment/CMakeFiles/user_am_c.dir/link.txt b/...essment/CMakeFiles/user_am_c.dir/link.txt → ...essment/CMakeFiles/user_am_c.dir/link.txt
diff --git a/...nt/CMakeFiles/user_am_c.dir/progress.make → ...nt/CMakeFiles/user_am_c.dir/progress.make b/...nt/CMakeFiles/user_am_c.dir/progress.make → ...nt/CMakeFiles/user_am_c.dir/progress.make
diff --git a/...ser_am_nocrypto.cake.dir/DependInfo.cmake → ...ser_am_nocrypto.cake.dir/DependInfo.cmake b/...ser_am_nocrypto.cake.dir/DependInfo.cmake → ...ser_am_nocrypto.cake.dir/DependInfo.cmake
diff --git a/...iles/user_am_nocrypto.cake.dir/build.make → ...iles/user_am_nocrypto.cake.dir/build.make b/...iles/user_am_nocrypto.cake.dir/build.make → ...iles/user_am_nocrypto.cake.dir/build.make
diff --git a/...er_am_nocrypto.cake.dir/cmake_clean.cmake → ...er_am_nocrypto.cake.dir/cmake_clean.cmake b/...er_am_nocrypto.cake.dir/cmake_clean.cmake → ...er_am_nocrypto.cake.dir/cmake_clean.cmake
diff --git a/...s/user_am_nocrypto.cake.dir/progress.make → ...s/user_am_nocrypto.cake.dir/progress.make b/...s/user_am_nocrypto.cake.dir/progress.make → ...s/user_am_nocrypto.cake.dir/progress.make
diff --git a/...les/user_am_nocrypto.dir/DependInfo.cmake → ...les/user_am_nocrypto.dir/DependInfo.cmake b/...les/user_am_nocrypto.dir/DependInfo.cmake → ...les/user_am_nocrypto.dir/DependInfo.cmake
diff --git a/...MakeFiles/user_am_nocrypto.dir/build.make → ...MakeFiles/user_am_nocrypto.dir/build.make b/...MakeFiles/user_am_nocrypto.dir/build.make → ...MakeFiles/user_am_nocrypto.dir/build.make
diff --git a/...es/user_am_nocrypto.dir/cmake_clean.cmake → ...es/user_am_nocrypto.dir/cmake_clean.cmake b/...es/user_am_nocrypto.dir/cmake_clean.cmake → ...es/user_am_nocrypto.dir/cmake_clean.cmake
diff --git a/...eFiles/user_am_nocrypto.dir/progress.make → ...eFiles/user_am_nocrypto.dir/progress.make b/...eFiles/user_am_nocrypto.dir/progress.make → ...eFiles/user_am_nocrypto.dir/progress.make
diff --git a/...s/user_am_nocrypto_c.dir/DependInfo.cmake → ...s/user_am_nocrypto_c.dir/DependInfo.cmake b/...s/user_am_nocrypto_c.dir/DependInfo.cmake → ...s/user_am_nocrypto_c.dir/DependInfo.cmake
diff --git a/...keFiles/user_am_nocrypto_c.dir/build.make → ...keFiles/user_am_nocrypto_c.dir/build.make b/...keFiles/user_am_nocrypto_c.dir/build.make → ...keFiles/user_am_nocrypto_c.dir/build.make
diff --git a/.../user_am_nocrypto_c.dir/cmake_clean.cmake → .../user_am_nocrypto_c.dir/cmake_clean.cmake b/.../user_am_nocrypto_c.dir/cmake_clean.cmake → .../user_am_nocrypto_c.dir/cmake_clean.cmake
diff --git a/...m_nocrypto_c.dir/cmake_clean_target.cmake → ...m_nocrypto_c.dir/cmake_clean_target.cmake b/...m_nocrypto_c.dir/cmake_clean_target.cmake → ...m_nocrypto_c.dir/cmake_clean_target.cmake
diff --git a/...eFiles/user_am_nocrypto_c.dir/depend.make → ...eFiles/user_am_nocrypto_c.dir/depend.make b/...eFiles/user_am_nocrypto_c.dir/depend.make → ...eFiles/user_am_nocrypto_c.dir/depend.make
diff --git a/...keFiles/user_am_nocrypto_c.dir/flags.make → ...keFiles/user_am_nocrypto_c.dir/flags.make b/...keFiles/user_am_nocrypto_c.dir/flags.make → ...keFiles/user_am_nocrypto_c.dir/flags.make
diff --git a/...MakeFiles/user_am_nocrypto_c.dir/link.txt → ...MakeFiles/user_am_nocrypto_c.dir/link.txt b/...MakeFiles/user_am_nocrypto_c.dir/link.txt → ...MakeFiles/user_am_nocrypto_c.dir/link.txt
diff --git a/...iles/user_am_nocrypto_c.dir/progress.make → ...iles/user_am_nocrypto_c.dir/progress.make b/...iles/user_am_nocrypto_c.dir/progress.make → ...iles/user_am_nocrypto_c.dir/progress.make
diff --git a/.../build/apps/case-tool-assessment/Makefile → .../build/apps/case-tool-assessment/Makefile b/.../build/apps/case-tool-assessment/Makefile → .../build/apps/case-tool-assessment/Makefile
diff --git a/.../case-tool-assessment/cmake_install.cmake → .../case-tool-assessment/cmake_install.cmake b/.../case-tool-assessment/cmake_install.cmake → .../case-tool-assessment/cmake_install.cmake
diff --git a/.../apps/case-tool-assessment/libheli_am_c.a → .../apps/case-tool-assessment/libheli_am_c.a b/.../apps/case-tool-assessment/libheli_am_c.a → .../apps/case-tool-assessment/libheli_am_c.a
diff --git a/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake b/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake
diff --git a/...akeFiles/client.cake.dir/DependInfo.cmake → ...akeFiles/client.cake.dir/DependInfo.cmake b/...akeFiles/client.cake.dir/DependInfo.cmake → ...akeFiles/client.cake.dir/DependInfo.cmake
diff --git a/...ent/CMakeFiles/client.cake.dir/build.make → ...ent/CMakeFiles/client.cake.dir/build.make b/...ent/CMakeFiles/client.cake.dir/build.make → ...ent/CMakeFiles/client.cake.dir/build.make
diff --git a/...keFiles/client.cake.dir/cmake_clean.cmake → ...keFiles/client.cake.dir/cmake_clean.cmake b/...keFiles/client.cake.dir/cmake_clean.cmake → ...keFiles/client.cake.dir/cmake_clean.cmake
diff --git a/.../client.cake.dir/cmake_clean_target.cmake → .../client.cake.dir/cmake_clean_target.cmake b/.../client.cake.dir/cmake_clean_target.cmake → .../client.cake.dir/cmake_clean_target.cmake
diff --git a/...nt/CMakeFiles/client.cake.dir/depend.make → ...nt/CMakeFiles/client.cake.dir/depend.make b/...nt/CMakeFiles/client.cake.dir/depend.make → ...nt/CMakeFiles/client.cake.dir/depend.make
diff --git a/...ent/CMakeFiles/client.cake.dir/flags.make → ...ent/CMakeFiles/client.cake.dir/flags.make b/...ent/CMakeFiles/client.cake.dir/flags.make → ...ent/CMakeFiles/client.cake.dir/flags.make
diff --git a/...lient/CMakeFiles/client.cake.dir/link.txt → ...lient/CMakeFiles/client.cake.dir/link.txt b/...lient/CMakeFiles/client.cake.dir/link.txt → ...lient/CMakeFiles/client.cake.dir/link.txt
diff --git a/.../CMakeFiles/client.cake.dir/progress.make → .../CMakeFiles/client.cake.dir/progress.make b/.../CMakeFiles/client.cake.dir/progress.make → .../CMakeFiles/client.cake.dir/progress.make
diff --git a/...nt/CMakeFiles/client.dir/DependInfo.cmake → ...nt/CMakeFiles/client.dir/DependInfo.cmake b/...nt/CMakeFiles/client.dir/DependInfo.cmake → ...nt/CMakeFiles/client.dir/DependInfo.cmake
diff --git a/...erClient/CMakeFiles/client.dir/build.make → ...erClient/CMakeFiles/client.dir/build.make b/...erClient/CMakeFiles/client.dir/build.make → ...erClient/CMakeFiles/client.dir/build.make
diff --git a/...t/CMakeFiles/client.dir/cmake_clean.cmake → ...t/CMakeFiles/client.dir/cmake_clean.cmake b/...t/CMakeFiles/client.dir/cmake_clean.cmake → ...t/CMakeFiles/client.dir/cmake_clean.cmake
diff --git a/...rClient/CMakeFiles/client.dir/depend.make → ...rClient/CMakeFiles/client.dir/depend.make b/...rClient/CMakeFiles/client.dir/depend.make → ...rClient/CMakeFiles/client.dir/depend.make
diff --git a/...erClient/CMakeFiles/client.dir/flags.make → ...erClient/CMakeFiles/client.dir/flags.make b/...erClient/CMakeFiles/client.dir/flags.make → ...erClient/CMakeFiles/client.dir/flags.make
diff --git a/...rverClient/CMakeFiles/client.dir/link.txt → ...rverClient/CMakeFiles/client.dir/link.txt b/...rverClient/CMakeFiles/client.dir/link.txt → ...rverClient/CMakeFiles/client.dir/link.txt
diff --git a/...lient/CMakeFiles/client.dir/progress.make → ...lient/CMakeFiles/client.dir/progress.make b/...lient/CMakeFiles/client.dir/progress.make → ...lient/CMakeFiles/client.dir/progress.make
diff --git a/...ps/serverClient/CMakeFiles/progress.marks → ...ps/serverClient/CMakeFiles/progress.marks b/...ps/serverClient/CMakeFiles/progress.marks → ...ps/serverClient/CMakeFiles/progress.marks
diff --git a/...akeFiles/server.cake.dir/DependInfo.cmake → ...akeFiles/server.cake.dir/DependInfo.cmake b/...akeFiles/server.cake.dir/DependInfo.cmake → ...akeFiles/server.cake.dir/DependInfo.cmake
diff --git a/...ent/CMakeFiles/server.cake.dir/build.make → ...ent/CMakeFiles/server.cake.dir/build.make b/...ent/CMakeFiles/server.cake.dir/build.make → ...ent/CMakeFiles/server.cake.dir/build.make
diff --git a/...keFiles/server.cake.dir/cmake_clean.cmake → ...keFiles/server.cake.dir/cmake_clean.cmake b/...keFiles/server.cake.dir/cmake_clean.cmake → ...keFiles/server.cake.dir/cmake_clean.cmake
diff --git a/.../server.cake.dir/cmake_clean_target.cmake → .../server.cake.dir/cmake_clean_target.cmake b/.../server.cake.dir/cmake_clean_target.cmake → .../server.cake.dir/cmake_clean_target.cmake
diff --git a/...nt/CMakeFiles/server.cake.dir/depend.make → ...nt/CMakeFiles/server.cake.dir/depend.make b/...nt/CMakeFiles/server.cake.dir/depend.make → ...nt/CMakeFiles/server.cake.dir/depend.make
diff --git a/...ent/CMakeFiles/server.cake.dir/flags.make → ...ent/CMakeFiles/server.cake.dir/flags.make b/...ent/CMakeFiles/server.cake.dir/flags.make → ...ent/CMakeFiles/server.cake.dir/flags.make
diff --git a/...lient/CMakeFiles/server.cake.dir/link.txt → ...lient/CMakeFiles/server.cake.dir/link.txt b/...lient/CMakeFiles/server.cake.dir/link.txt → ...lient/CMakeFiles/server.cake.dir/link.txt
diff --git a/.../CMakeFiles/server.cake.dir/progress.make → .../CMakeFiles/server.cake.dir/progress.make b/.../CMakeFiles/server.cake.dir/progress.make → .../CMakeFiles/server.cake.dir/progress.make
diff --git a/...nt/CMakeFiles/server.dir/DependInfo.cmake → ...nt/CMakeFiles/server.dir/DependInfo.cmake b/...nt/CMakeFiles/server.dir/DependInfo.cmake → ...nt/CMakeFiles/server.dir/DependInfo.cmake
diff --git a/...erClient/CMakeFiles/server.dir/build.make → ...erClient/CMakeFiles/server.dir/build.make b/...erClient/CMakeFiles/server.dir/build.make → ...erClient/CMakeFiles/server.dir/build.make
diff --git a/...t/CMakeFiles/server.dir/cmake_clean.cmake → ...t/CMakeFiles/server.dir/cmake_clean.cmake b/...t/CMakeFiles/server.dir/cmake_clean.cmake → ...t/CMakeFiles/server.dir/cmake_clean.cmake
diff --git a/...rClient/CMakeFiles/server.dir/depend.make → ...rClient/CMakeFiles/server.dir/depend.make b/...rClient/CMakeFiles/server.dir/depend.make → ...rClient/CMakeFiles/server.dir/depend.make
diff --git a/...erClient/CMakeFiles/server.dir/flags.make → ...erClient/CMakeFiles/server.dir/flags.make b/...erClient/CMakeFiles/server.dir/flags.make → ...erClient/CMakeFiles/server.dir/flags.make
diff --git a/...rverClient/CMakeFiles/server.dir/link.txt → ...rverClient/CMakeFiles/server.dir/link.txt b/...rverClient/CMakeFiles/server.dir/link.txt → ...rverClient/CMakeFiles/server.dir/link.txt
diff --git a/...lient/CMakeFiles/server.dir/progress.make → ...lient/CMakeFiles/server.dir/progress.make b/...lient/CMakeFiles/server.dir/progress.make → ...lient/CMakeFiles/server.dir/progress.make
diff --git a/...estation/build/apps/serverClient/Makefile → ...estation/build/apps/serverClient/Makefile b/...estation/build/apps/serverClient/Makefile → ...estation/build/apps/serverClient/Makefile
diff --git a/...ild/apps/serverClient/cmake_install.cmake → ...ild/apps/serverClient/cmake_install.cmake b/...ild/apps/serverClient/cmake_install.cmake → ...ild/apps/serverClient/cmake_install.cmake
diff --git a/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake b/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake
diff --git a/...d/apps/template/CMakeFiles/progress.marks → ...d/apps/template/CMakeFiles/progress.marks b/...d/apps/template/CMakeFiles/progress.marks → ...d/apps/template/CMakeFiles/progress.marks
diff --git a/...s/template_test.cake.dir/DependInfo.cmake → ...s/template_test.cake.dir/DependInfo.cmake b/...s/template_test.cake.dir/DependInfo.cmake → ...s/template_test.cake.dir/DependInfo.cmake
diff --git a/...keFiles/template_test.cake.dir/build.make → ...keFiles/template_test.cake.dir/build.make b/...keFiles/template_test.cake.dir/build.make → ...keFiles/template_test.cake.dir/build.make
diff --git a/.../template_test.cake.dir/cmake_clean.cmake → .../template_test.cake.dir/cmake_clean.cmake b/.../template_test.cake.dir/cmake_clean.cmake → .../template_test.cake.dir/cmake_clean.cmake
diff --git a/...te_test.cake.dir/cmake_clean_target.cmake → ...te_test.cake.dir/cmake_clean_target.cmake b/...te_test.cake.dir/cmake_clean_target.cmake → ...te_test.cake.dir/cmake_clean_target.cmake
diff --git a/...eFiles/template_test.cake.dir/depend.make → ...eFiles/template_test.cake.dir/depend.make b/...eFiles/template_test.cake.dir/depend.make → ...eFiles/template_test.cake.dir/depend.make
diff --git a/...keFiles/template_test.cake.dir/flags.make → ...keFiles/template_test.cake.dir/flags.make b/...keFiles/template_test.cake.dir/flags.make → ...keFiles/template_test.cake.dir/flags.make
diff --git a/...MakeFiles/template_test.cake.dir/link.txt → ...MakeFiles/template_test.cake.dir/link.txt b/...MakeFiles/template_test.cake.dir/link.txt → ...MakeFiles/template_test.cake.dir/link.txt
diff --git a/...iles/template_test.cake.dir/progress.make → ...iles/template_test.cake.dir/progress.make b/...iles/template_test.cake.dir/progress.make → ...iles/template_test.cake.dir/progress.make
diff --git a/...eFiles/template_test.dir/DependInfo.cmake → ...eFiles/template_test.dir/DependInfo.cmake b/...eFiles/template_test.dir/DependInfo.cmake → ...eFiles/template_test.dir/DependInfo.cmake
diff --git a/...e/CMakeFiles/template_test.dir/build.make → ...e/CMakeFiles/template_test.dir/build.make b/...e/CMakeFiles/template_test.dir/build.make → ...e/CMakeFiles/template_test.dir/build.make
diff --git a/...Files/template_test.dir/cmake_clean.cmake → ...Files/template_test.dir/cmake_clean.cmake b/...Files/template_test.dir/cmake_clean.cmake → ...Files/template_test.dir/cmake_clean.cmake
diff --git a/.../CMakeFiles/template_test.dir/depend.make → .../CMakeFiles/template_test.dir/depend.make b/.../CMakeFiles/template_test.dir/depend.make → .../CMakeFiles/template_test.dir/depend.make
diff --git a/...e/CMakeFiles/template_test.dir/flags.make → ...e/CMakeFiles/template_test.dir/flags.make b/...e/CMakeFiles/template_test.dir/flags.make → ...e/CMakeFiles/template_test.dir/flags.make
diff --git a/...ate/CMakeFiles/template_test.dir/link.txt → ...ate/CMakeFiles/template_test.dir/link.txt b/...ate/CMakeFiles/template_test.dir/link.txt → ...ate/CMakeFiles/template_test.dir/link.txt
diff --git a/...MakeFiles/template_test.dir/progress.make → ...MakeFiles/template_test.dir/progress.make b/...MakeFiles/template_test.dir/progress.make → ...MakeFiles/template_test.dir/progress.make
diff --git a/..._Attestation/build/apps/template/Makefile → ..._Attestation/build/apps/template/Makefile b/..._Attestation/build/apps/template/Makefile → ..._Attestation/build/apps/template/Makefile
diff --git a/...n/build/apps/template/cmake_install.cmake → ...n/build/apps/template/cmake_install.cmake b/...n/build/apps/template/cmake_install.cmake → ...n/build/apps/template/cmake_install.cmake
diff --git a/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake b/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake
diff --git a/...uild/apps/tests/CMakeFiles/progress.marks → ...uild/apps/tests/CMakeFiles/progress.marks b/...uild/apps/tests/CMakeFiles/progress.marks → ...uild/apps/tests/CMakeFiles/progress.marks
diff --git a/...MakeFiles/tests.cake.dir/DependInfo.cmake → ...MakeFiles/tests.cake.dir/DependInfo.cmake b/...MakeFiles/tests.cake.dir/DependInfo.cmake → ...MakeFiles/tests.cake.dir/DependInfo.cmake
diff --git a/...ests/CMakeFiles/tests.cake.dir/build.make → ...ests/CMakeFiles/tests.cake.dir/build.make b/...ests/CMakeFiles/tests.cake.dir/build.make → ...ests/CMakeFiles/tests.cake.dir/build.make
diff --git a/...akeFiles/tests.cake.dir/cmake_clean.cmake → ...akeFiles/tests.cake.dir/cmake_clean.cmake b/...akeFiles/tests.cake.dir/cmake_clean.cmake → ...akeFiles/tests.cake.dir/cmake_clean.cmake
diff --git a/...s/tests.cake.dir/cmake_clean_target.cmake → ...s/tests.cake.dir/cmake_clean_target.cmake b/...s/tests.cake.dir/cmake_clean_target.cmake → ...s/tests.cake.dir/cmake_clean_target.cmake
diff --git a/...sts/CMakeFiles/tests.cake.dir/depend.make → ...sts/CMakeFiles/tests.cake.dir/depend.make b/...sts/CMakeFiles/tests.cake.dir/depend.make → ...sts/CMakeFiles/tests.cake.dir/depend.make
diff --git a/...ests/CMakeFiles/tests.cake.dir/flags.make → ...ests/CMakeFiles/tests.cake.dir/flags.make b/...ests/CMakeFiles/tests.cake.dir/flags.make → ...ests/CMakeFiles/tests.cake.dir/flags.make
diff --git a/.../tests/CMakeFiles/tests.cake.dir/link.txt → .../tests/CMakeFiles/tests.cake.dir/link.txt b/.../tests/CMakeFiles/tests.cake.dir/link.txt → .../tests/CMakeFiles/tests.cake.dir/link.txt
diff --git a/...s/CMakeFiles/tests.cake.dir/progress.make → ...s/CMakeFiles/tests.cake.dir/progress.make b/...s/CMakeFiles/tests.cake.dir/progress.make → ...s/CMakeFiles/tests.cake.dir/progress.make
diff --git a/...sts/CMakeFiles/tests.dir/DependInfo.cmake → ...sts/CMakeFiles/tests.dir/DependInfo.cmake b/...sts/CMakeFiles/tests.dir/DependInfo.cmake → ...sts/CMakeFiles/tests.dir/DependInfo.cmake
diff --git a/...pps/tests/CMakeFiles/tests.dir/build.make → ...pps/tests/CMakeFiles/tests.dir/build.make b/...pps/tests/CMakeFiles/tests.dir/build.make → ...pps/tests/CMakeFiles/tests.dir/build.make
diff --git a/...ts/CMakeFiles/tests.dir/cmake_clean.cmake → ...ts/CMakeFiles/tests.dir/cmake_clean.cmake b/...ts/CMakeFiles/tests.dir/cmake_clean.cmake → ...ts/CMakeFiles/tests.dir/cmake_clean.cmake
diff --git a/...ps/tests/CMakeFiles/tests.dir/depend.make → ...ps/tests/CMakeFiles/tests.dir/depend.make b/...ps/tests/CMakeFiles/tests.dir/depend.make → ...ps/tests/CMakeFiles/tests.dir/depend.make
diff --git a/...pps/tests/CMakeFiles/tests.dir/flags.make → ...pps/tests/CMakeFiles/tests.dir/flags.make b/...pps/tests/CMakeFiles/tests.dir/flags.make → ...pps/tests/CMakeFiles/tests.dir/flags.make
diff --git a/.../apps/tests/CMakeFiles/tests.dir/link.txt → .../apps/tests/CMakeFiles/tests.dir/link.txt b/.../apps/tests/CMakeFiles/tests.dir/link.txt → .../apps/tests/CMakeFiles/tests.dir/link.txt
diff --git a/.../tests/CMakeFiles/tests.dir/progress.make → .../tests/CMakeFiles/tests.dir/progress.make b/.../tests/CMakeFiles/tests.dir/progress.make → .../tests/CMakeFiles/tests.dir/progress.make
diff --git a/.../KU_Attestation/build/apps/tests/Makefile → .../KU_Attestation/build/apps/tests/Makefile b/.../KU_Attestation/build/apps/tests/Makefile → .../KU_Attestation/build/apps/tests/Makefile
diff --git a/...tion/build/apps/tests/cmake_install.cmake → ...tion/build/apps/tests/cmake_install.cmake b/...tion/build/apps/tests/cmake_install.cmake → ...tion/build/apps/tests/cmake_install.cmake
diff --git a/.../KU_Attestation/build/cmake_install.cmake → .../KU_Attestation/build/cmake_install.cmake b/.../KU_Attestation/build/cmake_install.cmake → .../KU_Attestation/build/cmake_install.cmake
diff --git a/...ent_Source/KU_Attestation/build/heli_am.S → ...ent_Source/KU_Attestation/build/heli_am.S b/...ent_Source/KU_Attestation/build/heli_am.S → ...ent_Source/KU_Attestation/build/heli_am.S
diff --git a/...t_Source/KU_Attestation/build/heli_am.cml → ...t_Source/KU_Attestation/build/heli_am.cml b/...t_Source/KU_Attestation/build/heli_am.cml → ...t_Source/KU_Attestation/build/heli_am.cml
diff --git a/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake b/...MakeFiles/CMakeDirectoryInformation.cmake → ...MakeFiles/CMakeDirectoryInformation.cmake
diff --git a/...stem/crypto/CMakeFiles/hacl-star-complete → ...stem/crypto/CMakeFiles/hacl-star-complete b/...stem/crypto/CMakeFiles/hacl-star-complete → ...stem/crypto/CMakeFiles/hacl-star-complete
diff --git a/...CMakeFiles/hacl-star.dir/DependInfo.cmake → ...CMakeFiles/hacl-star.dir/DependInfo.cmake b/...CMakeFiles/hacl-star.dir/DependInfo.cmake → ...CMakeFiles/hacl-star.dir/DependInfo.cmake
diff --git a/...ypto/CMakeFiles/hacl-star.dir/Labels.json → ...ypto/CMakeFiles/hacl-star.dir/Labels.json b/...ypto/CMakeFiles/hacl-star.dir/Labels.json → ...ypto/CMakeFiles/hacl-star.dir/Labels.json
diff --git a/...rypto/CMakeFiles/hacl-star.dir/Labels.txt → ...rypto/CMakeFiles/hacl-star.dir/Labels.txt b/...rypto/CMakeFiles/hacl-star.dir/Labels.txt → ...rypto/CMakeFiles/hacl-star.dir/Labels.txt
diff --git a/...rypto/CMakeFiles/hacl-star.dir/build.make → ...rypto/CMakeFiles/hacl-star.dir/build.make b/...rypto/CMakeFiles/hacl-star.dir/build.make → ...rypto/CMakeFiles/hacl-star.dir/build.make
diff --git a/...MakeFiles/hacl-star.dir/cmake_clean.cmake → ...MakeFiles/hacl-star.dir/cmake_clean.cmake b/...MakeFiles/hacl-star.dir/cmake_clean.cmake → ...MakeFiles/hacl-star.dir/cmake_clean.cmake
diff --git a/.../CMakeFiles/hacl-star.dir/depend.internal → .../CMakeFiles/hacl-star.dir/depend.internal b/.../CMakeFiles/hacl-star.dir/depend.internal → .../CMakeFiles/hacl-star.dir/depend.internal
diff --git a/...ypto/CMakeFiles/hacl-star.dir/depend.make → ...ypto/CMakeFiles/hacl-star.dir/depend.make b/...ypto/CMakeFiles/hacl-star.dir/depend.make → ...ypto/CMakeFiles/hacl-star.dir/depend.make
diff --git a/...to/CMakeFiles/hacl-star.dir/progress.make → ...to/CMakeFiles/hacl-star.dir/progress.make b/...to/CMakeFiles/hacl-star.dir/progress.make → ...to/CMakeFiles/hacl-star.dir/progress.make
diff --git a/...to/CMakeFiles/keyGen.dir/DependInfo.cmake → ...to/CMakeFiles/keyGen.dir/DependInfo.cmake b/...to/CMakeFiles/keyGen.dir/DependInfo.cmake → ...to/CMakeFiles/keyGen.dir/DependInfo.cmake
diff --git a/...m/crypto/CMakeFiles/keyGen.dir/build.make → ...m/crypto/CMakeFiles/keyGen.dir/build.make b/...m/crypto/CMakeFiles/keyGen.dir/build.make → ...m/crypto/CMakeFiles/keyGen.dir/build.make
diff --git a/...o/CMakeFiles/keyGen.dir/cmake_clean.cmake → ...o/CMakeFiles/keyGen.dir/cmake_clean.cmake b/...o/CMakeFiles/keyGen.dir/cmake_clean.cmake → ...o/CMakeFiles/keyGen.dir/cmake_clean.cmake
diff --git a/.../crypto/CMakeFiles/keyGen.dir/depend.make → .../crypto/CMakeFiles/keyGen.dir/depend.make b/.../crypto/CMakeFiles/keyGen.dir/depend.make → .../crypto/CMakeFiles/keyGen.dir/depend.make
diff --git a/...m/crypto/CMakeFiles/keyGen.dir/flags.make → ...m/crypto/CMakeFiles/keyGen.dir/flags.make b/...m/crypto/CMakeFiles/keyGen.dir/flags.make → ...m/crypto/CMakeFiles/keyGen.dir/flags.make
diff --git a/...tem/crypto/CMakeFiles/keyGen.dir/link.txt → ...tem/crypto/CMakeFiles/keyGen.dir/link.txt b/...tem/crypto/CMakeFiles/keyGen.dir/link.txt → ...tem/crypto/CMakeFiles/keyGen.dir/link.txt
diff --git a/...rypto/CMakeFiles/keyGen.dir/progress.make → ...rypto/CMakeFiles/keyGen.dir/progress.make b/...rypto/CMakeFiles/keyGen.dir/progress.make → ...rypto/CMakeFiles/keyGen.dir/progress.make
diff --git a/...d/system/crypto/CMakeFiles/progress.marks → ...d/system/crypto/CMakeFiles/progress.marks b/...d/system/crypto/CMakeFiles/progress.marks → ...d/system/crypto/CMakeFiles/progress.marks
diff --git a/..._Attestation/build/system/crypto/Makefile → ..._Attestation/build/system/crypto/Makefile b/..._Attestation/build/system/crypto/Makefile → ..._Attestation/build/system/crypto/Makefile
diff --git a/...n/build/system/crypto/cmake_install.cmake → ...n/build/system/crypto/cmake_install.cmake b/...n/build/system/crypto/cmake_install.cmake → ...n/build/system/crypto/cmake_install.cmake
diff --git a/...refix/src/hacl-star-stamp/hacl-star-build → ...refix/src/hacl-star-stamp/hacl-star-build b/...refix/src/hacl-star-stamp/hacl-star-build → ...refix/src/hacl-star-stamp/hacl-star-build
diff --git a/...x/src/hacl-star-stamp/hacl-star-configure → ...x/src/hacl-star-stamp/hacl-star-configure b/...x/src/hacl-star-stamp/hacl-star-configure → ...x/src/hacl-star-stamp/hacl-star-configure
diff --git a/...prefix/src/hacl-star-stamp/hacl-star-done → ...prefix/src/hacl-star-stamp/hacl-star-done b/...prefix/src/hacl-star-stamp/hacl-star-done → ...prefix/src/hacl-star-stamp/hacl-star-done
diff --git a/...ix/src/hacl-star-stamp/hacl-star-download → ...ix/src/hacl-star-stamp/hacl-star-download b/...ix/src/hacl-star-stamp/hacl-star-download → ...ix/src/hacl-star-stamp/hacl-star-download
diff --git a/...star-stamp/hacl-star-gitclone-lastrun.txt → ...star-stamp/hacl-star-gitclone-lastrun.txt b/...star-stamp/hacl-star-gitclone-lastrun.txt → ...star-stamp/hacl-star-gitclone-lastrun.txt
diff --git a/...src/hacl-star-stamp/hacl-star-gitinfo.txt → ...src/hacl-star-stamp/hacl-star-gitinfo.txt b/...src/hacl-star-stamp/hacl-star-gitinfo.txt → ...src/hacl-star-stamp/hacl-star-gitinfo.txt
diff --git a/...fix/src/hacl-star-stamp/hacl-star-install → ...fix/src/hacl-star-stamp/hacl-star-install b/...fix/src/hacl-star-stamp/hacl-star-install → ...fix/src/hacl-star-stamp/hacl-star-install
diff --git a/...refix/src/hacl-star-stamp/hacl-star-mkdir → ...refix/src/hacl-star-stamp/hacl-star-mkdir b/...refix/src/hacl-star-stamp/hacl-star-mkdir → ...refix/src/hacl-star-stamp/hacl-star-mkdir