From 8705317395c5c0f4db8517cd50e59ef5747c32d8 Mon Sep 17 00:00:00 2001 From: lrs-ta Date: Sat, 10 Oct 2020 14:49:43 +0200 Subject: [PATCH 1/4] Changed JCA naming to JavaCryptographicArchitecture --- .idea/compiler.xml | 2 -- .idea/jarRepositories.xml | 5 +++++ .idea/misc.xml | 3 +++ .idea/modules.xml | 3 --- build.gradle | 8 ++++---- .../iem/icognicrypt/CogniCryptPlugin.java | 2 +- .../analysis/CryptoAnalysisWrapper.java | 14 +++++++++++--- .../iem/icognicrypt/core/crySL/CrySLExtractor.java | 6 +++--- 8 files changed, 27 insertions(+), 16 deletions(-) diff --git a/.idea/compiler.xml b/.idea/compiler.xml index 95b24b9..0f24ae0 100644 --- a/.idea/compiler.xml +++ b/.idea/compiler.xml @@ -4,8 +4,6 @@ - - \ No newline at end of file diff --git a/.idea/jarRepositories.xml b/.idea/jarRepositories.xml index c6c9827..fd5a3f9 100644 --- a/.idea/jarRepositories.xml +++ b/.idea/jarRepositories.xml @@ -41,5 +41,10 @@