Releases: karmaresearch/vlog
Releases · karmaresearch/vlog
VLog release 1.3.7
The only change in this release is that the 1.3.6 Maven repository version accidentally was compiled with a too new Java version. The intention is to still support Java 1.8.
VLog release 1.3.6
Bug fix release.
- String constants
"foo"^^<http://www.w3.org/2001/XMLSchema#string>
and"foo"
are now interchangeable (#73, #55). - Build works on M1 and M2 Mac machines (#96).
- Workaround for correctness issue of the restricted chase for multihead rules that share an existential variable (#98, #64); rules are re-written internally (see #64).
- Fix for incomplete query answering for rules with partially grounded atoms in the body (#95).
- Memory leak from
TupleIterator
is now fixed (#94). - Fix for EDB file paths on Windows machines (#97)
- Acyclicity correctness fixes
VLog release 1.3.5
Bug fix release.
VLog release 1.3.4
Bug fix release.
VLog release 1.3.3
Bug fix release.
VLog release 1.3.2
Bug fix release
VLog release 1.3.1
Bug fix release
VLog release 1.3.0
Mostly a bug fix release, but also adds more (a)cyclicity checks and a slightly modified Java API
VLog release 1.2.1
Bug fix release, and made it compile on windows.
VLog version 1.2.0
Next to various bug fixes, this release adds stratified negation, and various acyclicity checks.