8000 Commits · ontodev/robot · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits o 8000 n May 23, 2023

Commits on May 3, 2023

Merge pull request #1100 from jclerman/refactor-unsat-object-checking
jamesaoverton
authored

Commits on Mar 29, 2023

Merge pull request #1107 from gouttegd/issue-1101-test
matentzn
authored

Commits on Mar 28, 2023

Commits on Mar 1, 2023

remove redundant logger lines
jclerman
committed

Commits on Feb 28, 2023

Describe #1100 in CHANGELOG
jclerman
committed
refactor unsatisfiable object-checking to leverage object hierarchy, for reasoners that support that
jclerman
committed

Commits on Feb 15, 2023

Fix JavaDoc warnings
jamesaoverton
committed
Merge pull request #1094 from ontodev/fix-1091
jamesaoverton
authored
Restore logging details for CLI
jamesaoverton
committed
< 8000 span class="CopyToClipboardButton-module__tooltip--Dq1IB prc-TooltipV2-Tooltip-cYMVY" data-direction="s" aria-label="Copy full SHA for 87bd596" aria-hidden="true" id=":Rjn9vb79fab:">Copy full SHA for 87bd596
Merge pull request #1000 from hkir-dev/497-fix
jamesaoverton
authored
Update extract usage; block MIREOT options for subset method
jamesaoverton
committed
Update CHANGELOG.md
matentzn
authored
Update pom.xml
matentzn
authored
Update pom.xml
matentzn
authored

Commits on Feb 13, 2023

Commits on Feb 10, 2023

0