v0.7.0-1135, updated query answering and consistency checking parallelization, answers cache limits, github actions for releases

Author: andreas-steigmiller

External/hoard/Windows/x64/lib/Release/libhoard.lib

@@ -1,45 +1,50 @@
-
-message("Updating Konclude version from Git Revision.")
-
-# Create our custom gitbuild target.
-win32:gitbuild.commands = $${PWD}/WinGitBuildScript.bat
-else:gitbuild.commands = $${PWD}/UnixGitBuildScript.sh
-QMAKE_EXTRA_TARGETS += gitbuild
-
-PRE_TARGETDEPS = gitbuild
-
-message("Preparing source code of Konclude.")
-TEMPLATE = app
-TARGET = Konclude
-DESTDIR = ./Release
-QT += xml network concurrent
-CONFIG += release console warn_off c++11
-DEFINES += QT_XML_LIB QT_NETWORK_LIB KONCLUDE_REDLAND_INTEGRATION KONCLUDE_FORCE_ALL_DEBUG_DEACTIVATED
-INCLUDEPATH += ./generatedfiles \
-    ./GeneratedFiles/Release \
-    ./Source \
-	.
-DEPENDPATH += .
-MOC_DIR += ./GeneratedFiles/release
-OBJECTS_DIR += release
-UI_DIR += ./GeneratedFiles
-RCC_DIR += ./GeneratedFiles
-
-#Include file(s)
-include(Konclude.pri)
-
-unix:!macx: LIBS += $$PWD/External/librdf/Linux/x64/lib/release/librdf.a
-unix:!macx: LIBS += $$PWD/External/librdf/Linux/x64/lib/release/libraptor2.a
-unix:!macx: LIBS += $$PWD/External/librdf/Linux/x64/lib/release/librasqal.a
-unix:!macx: LIBS += $$PWD/External/librdf/Linux/x64/lib/release/libxml2.a
-unix:!macx: LIBS += -lz -lltdl -lgmp -ldl
-
-INCLUDEPATH += $$PWD/External/librdf/Linux/x64/include
-DEPENDPATH += $$PWD/External/librdf/Linux/x64/include
-
-unix:!macx: PRE_TARGETDEPS += $$PWD/External/librdf/Linux/x64/lib/release/librdf.a
-unix:!macx: PRE_TARGETDEPS += $$PWD/External/librdf/Linux/x64/lib/release/libraptor2.a
-unix:!macx: PRE_TARGETDEPS += $$PWD/External/librdf/Linux/x64/lib/release/librasqal.a
-unix:!macx: PRE_TARGETDEPS += $$PWD/External/librdf/Linux/x64/lib/release/libxml2.a
-
-
+
+message("Updating Konclude version from Git Revision.")
+
+# Create our custom gitbuild target.
+win32:gitbuild.commands = $${PWD}/WinGitBuildScript.bat
+else:gitbuild.commands = $${PWD}/UnixGitBuildScript.sh
+QMAKE_EXTRA_TARGETS += gitbuild
+
+PRE_TARGETDEPS = gitbuild
+
+message("Preparing source code of Konclude.")
+TEMPLATE = app
+TARGET = Konclude
+DESTDIR = ./Release
+QT += xml network concurrent
+CONFIG += release console warn_off c++11
+DEFINES += QT_XML_LIB QT_NETWORK_LIB KONCLUDE_REDLAND_INTEGRATION KONCLUDE_FORCE_ALL_DEBUG_DEACTIVATED
+INCLUDEPATH += ./generatedfiles \
+    ./GeneratedFiles/Release \
+    ./Source \
+	.
+DEPENDPATH += .
+MOC_DIR += ./GeneratedFiles/release
+OBJECTS_DIR += release
+UI_DIR += ./GeneratedFiles
+RCC_DIR += ./GeneratedFiles
+
+#Include file(s)
+include(Konclude.pri)
+
+unix: LIBS += $$PWD/External/librdf/Linux/x64/lib/release/librdf.a
+unix: LIBS += $$PWD/External/librdf/Linux/x64/lib/release/libraptor2.a
+unix: LIBS += $$PWD/External/librdf/Linux/x64/lib/release/librasqal.a
+unix: LIBS += $$PWD/External/librdf/Linux/x64/lib/release/libxml2.a
+unix: LIBS += $$PWD/External/jemalloc/Linux/x64/lib/release/libjemalloc.a
+unix: LIBS += -lz -lltdl -lgmp -ldl -L External/jemalloc/Linux/x64/lib/release/ -ljemalloc
+
+unix: INCLUDEPATH += $$PWD/External/librdf/Linux/x64/include
+unix: DEPENDPATH += $$PWD/External/librdf/Linux/x64/include
+
+
+win32: LIBS += "C:\Program Files (x86)\Windows Kits\8.1\Lib\winv6.3\um\x64\kernel32.Lib"
+win32: LIBS += $$PWD/External/librdf/Windows/x64/lib/Release/librdf.lib
+win32: LIBS += $$PWD/External/librdf/Windows/x64/lib/Release/raptor2.lib
+win32: LIBS += $$PWD/External/librdf/Windows/x64/lib/Release/rasqal.lib
+win32: LIBS += $$PWD/External/librdf/Windows/x64/lib/Release/libsv.lib
+
+win32: INCLUDEPATH += $$PWD/External/librdf/Windows/x64/include
+win32: DEPENDPATH += $$PWD/External/librdf/Windows/x64/include
+

External/hoard/Windows/x64/lib/Release/libhoard.pdb

@@ -0,0 +1,37 @@
+/*
+ *		Copyright (C) 2013-2015, 2019 by the Konclude Developer Team.
+ *
+ *		This file is part of the reasoning system Konclude.
+ *		For details and support, see <http://konclude.com/>.
+ *
+ *		Konclude is free software: you can redistribute it and/or modify
+ *		it under the terms of version 3 of the GNU Lesser General Public
+ *		License (LGPLv3) as published by the Free Software Foundation.
+ *
+ *		Konclude is distributed in the hope that it will be useful,
+ *		but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *		MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ *		GNU (Lesser) General Public License for more details.
+ *
+ *		You should have received a copy of the GNU (Lesser) General Public
+ *		License along with Konclude. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+
+#include "CConcurrentTaskScheduler.h"
+
+
+namespace Konclude {
+
+	namespace Concurrent {
+
+		CConcurrentTaskScheduler::CConcurrentTaskScheduler() {
+		}
+
+
+
+
+	}; // end namespace Concurrent
+
+}; // end namespace Konclude
+

External/librdf/Windows/x64/bin/boost_container-vc141-mt-x64-1_67.dll

@@ -0,0 +1,88 @@
+/*
+ *		Copyright (C) 2013-2015, 2019 by the Konclude Developer Team.
+ *
+ *		This file is part of the reasoning system Konclude.
+ *		For details and support, see <http://konclude.com/>.
+ *
+ *		Konclude is free software: you can redistribute it and/or modify
+ *		it under the terms of version 3 of the GNU Lesser General Public
+ *		License (LGPLv3) as published by the Free Software Foundation.
+ *
+ *		Konclude is distributed in the hope that it will be useful,
+ *		but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *		MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ *		GNU (Lesser) General Public License for more details.
+ *
+ *		You should have received a copy of the GNU (Lesser) General Public
+ *		License along with Konclude. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+
+#ifndef KONCLUDE_CONCURRENT_CCONCURRENTTASKSCHEDULER_H
+#define KONCLUDE_CONCURRENT_CCONCURRENTTASKSCHEDULER_H
+
+// Library includes
+#include <QtConcurrent>
+
+
+// Namespace includes
+#include "ConcurrentSettings.h"
+
+// Other includes
+
+
+// Logger includes
+#include "Logger/CLogger.h"
+
+
+namespace Konclude {
+
+	namespace Concurrent {
+
+
+		/*! 
+		 *
+		 *		\class		CConcurrentTaskScheduler
+		 *		\author		Andreas Steigmiller
+		 *		\version	0.1
+		 *		\brief		TODO
+		 *
+		 */
+		class CConcurrentTaskScheduler {
+			// public methods
+			public:
+				//! Constructor
+				CConcurrentTaskScheduler();
+
+				template <typename Functor>
+				static void run(Functor functor) {
+					if (QThreadPool::globalInstance()->maxThreadCount() > 1) {
+						QtConcurrent::run(functor);
+					} else {
+						QVector<int> vec(1);
+						QtConcurrent::blockingMap(vec, [&](int& data) {
+							functor();
+						});
+					}
+				}
+
+
+			// protected methods
+			protected:
+
+			// protected variables
+			protected:
+
+			// private methods
+			private:
+
+			// private variables
+			private:
+		};
+
+
+	}; // end namespace Concurrent
+
+}; // end namespace Konclude
+
+#endif // KONCLUDE_CONCURRENT_CCONCURRENTTASKSCHEDULER_H