Skip to content

Commit a44eb59

Browse files
committed
Create fix release
1 parent 814bfe9 commit a44eb59

File tree

2 files changed

+8
-7
lines changed

2 files changed

+8
-7
lines changed

.github/workflows/build-and-test.yml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
1-
name: Build and test pyfactxx
1+
name: Build and test pyfactxx
22

33
on:
4+
workflow_dispatch:
45
push:
56
branches: [ $default-branch, "wheels" ]
67
pull_request:
@@ -34,4 +35,4 @@ jobs:
3435
- name: Test with pytest
3536
working-directory: ./FaCT++.Python
3637
run: |
37-
pytest pyfactxx
38+
pytest pyfactxx

Kernel/Kernel.cpp

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/* This file is part of the FaCT++ DL reasoner
22
Copyright (C) 2003-2015 Dmitry Tsarkov and The University of Manchester
33
Copyright (C) 2015-2017 Dmitry Tsarkov
4-
Copyright (C) 2021-2022 Ivan Rygaev and Tilde MI
4+
Copyright (C) 2021-2024 Ivan Rygaev and Tilde MI
55
66
This library is free software; you can redistribute it and/or
77
modify it under the terms of the GNU Lesser General Public
@@ -27,11 +27,11 @@ Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
2727
#include "SaveLoadManager.h"
2828
#include "TripleGatherer.h"
2929

30-
const char* ReasoningKernel :: Version = "1.8.1-SNAPSHOT";
30+
const char* ReasoningKernel :: Version = "1.8.2-SNAPSHOT";
3131
const char* ReasoningKernel :: SupportedDL = "SROIQ(D)";
3232
const char* ReasoningKernel :: Copyright =
33-
"Copyright (C) Dmitry Tsarkov, Ivan Rygaev, 2002-2022";
34-
const char* ReasoningKernel :: ReleaseDate = "21 June 2022";
33+
"Copyright (C) Dmitry Tsarkov, Ivan Rygaev, 2002-2024";
34+
const char* ReasoningKernel :: ReleaseDate = "2 February 2024";
3535

3636
// print the FaCT++ information only once
3737
static bool KernelFirstRun = true;
@@ -1135,7 +1135,7 @@ void ReasoningKernel::getTriples(const std::string& q_subj_name, const std::stri
11351135

11361136
getORoleDomain(q_subj_o_role_exp, true, gatherer);
11371137
}
1138-
1138+
11391139
if (q_role_name.empty() || q_role_name == RDFS_RANGE)
11401140
{
11411141
TripleGatherer gatherer(&triples, true, RDFS_RANGE, q_subj_name.c_str(), [q_subj, q_obj_name, q_obj](const ClassifiableEntry* entry)

0 commit comments

Comments
 (0)