IRIS - Integrated Rule Inference System Bugs

Status: Beta

Brought to you by: daniel_winkler, florianfischer

Bugs Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A	Priority▾ Sort A -> Z Sort Z -> A
44	Problem with equality in rule heads	None	open		2009-12-09	2009-12-09	5
43	Nondeterministic output of magic sets algorithm	None	open		2009-08-20	2009-08-20	5
42	Extra rules generated by magic sets algorithm.	None	open		2009-08-20	2009-08-20	5
41	Unsafe rule support does not use ground terms from query.	v1.0 (example)	open		2008-10-30	2008-10-30	7
34	Infinite loop in local stratification algorithm	None	open	baz bishop	2008-05-26	2008-05-26	5

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels
Priority

(applies to this page only)