Flora-2 Bugs

Brought to you by: kifer

Bugs Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Creator▾ Sort A -> Z Sort Z -> A Filter by Creator	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A	Type▾ Sort A -> Z Sort Z -> A Filter by Type
49	Problems using Flora-2 2.1 through simulated TTY	open		Anonymous	2021-01-17	2021-01-18	Other
46	Flora-2 Visualizer Install Instruction Fail	open		Anonymous	2017-06-17	2017-06-18	Other
39	aggregates (count/setof) are not quite right with reified items	open	Michael Kifer	Michael Kifer	2015-02-13	2015-02-13	Wrong answer
22	exists_not implementation bug	open		Michael Kifer	2014-01-24	2014-01-24	Wrong answer
15	exists_not problems	open		Michael Kifer	2013-10-24	2013-10-24	Wrong answer
6	Criteria for further delay of delayed literals must be expanded	open	Michael Kifer	Michael Kifer	2013-08-19	2013-08-19	Wrong answer

(applies to this page only)