Remove wali and depending solver (skeletons)

Author: Martin Mory

.gitmodules

@@ -6,9 +6,6 @@
 	path = external/googletest
 	url = https://github.com/google/googletest.git
 	branch = master
-[submodule "external/WALi-OpenNWA"]
-	path = external/WALi-OpenNWA
-	url = https://github.com/pdschubert/WALi-OpenNWA.git
 [submodule "external/json-schema-validator"]
 	path = external/json-schema-validator
 	url = https://github.com/pboettch/json-schema-validator.git

CMakeLists.txt

@@ -243,10 +243,6 @@ if (PHASAR_IN_TREE)
   )
 endif()
 
-# WALi-OpenNWA
-add_subdirectory(external/WALi-OpenNWA)
-include_directories(external/WALi-OpenNWA/Source/wali/include)
-
 # Set up clang-tidy to run during PhASAR's compilation to indicate code smells
 if (PHASAR_ENABLE_CLANG_TIDY_DURING_BUILD)
   message(STATUS "Enabled clang-tidy during build")

LICENSE.txt

@@ -99,36 +99,6 @@ pyyaml tests        llvm/test/YAMLParser/{*.data, LICENSE.TXT}
 ARM contributions   llvm/lib/Target/ARM/LICENSE.TXT
 md5 contributions   llvm/lib/Support/MD5.cpp llvm/include/llvm/Support/MD5.h
 
-
-WALi-OpenNWA
--------------------------------------------------------------------------------
-OpenNWA portions:
-  Copyright (c) 2009-2012 Amanda Burton, Evan Driscoll, Aditya Thakur,
-                and Thomas Reps
-
-WALi portions:
-  Copyright (c) 2010 Nicholas Kidd, Akash Lal, and Thomas Reps
-  Copyright (c) 2007 Nicholas Kidd, Akash Lal, and Thomas Reps
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
-
-
 Boost
 -------------------------------------------------------------------------------
 Boost Software License - Version 1.0 - August 17th, 2003