Evolution & Validation Environment / Bugs

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	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A	Priority▾ Sort A -> Z Sort Z -> A
3	Navigation over empty set is fixpoint	None	open	2005-02-24	2005-02-24	8
2	let properties defined on sets	None	open	2005-02-24	2005-02-24	9
1	Narrowing cardinalities	None	open	2005-02-24	2005-02-24	5