krr / IDP / issues / #630 - Stable semantics option — Bitbucket

Issue #630 resolved

Broes De Cat created an issue 2014-01-06

Enable stable semantics option for users. XSB is not used if there is no recursion over negation, so currently safe.

Comments (2)

Broes De Cat reporter
So add comment in the XSB code that the recursion check is important
- 2014-01-06T08:58:14+00:00
Ingmar Dasseville
- changed status to resolved
was already done
- 2014-01-06T14:41:43+00:00
Log in to comment

Assignee: –

Type: enhancement

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 1

Jira: the preferred issue tracker for Bitbucket. Join the team!