RODIN Bugs

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

Group 1.1 Maximize Restore

Status: Open

Due Date: N/A

Progress: 14 / 14

1.1

# 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
380	Atelier-B PP does not understand S /= {}	1.1	closed-fixed	Laurent Voisin	2009-12-17	2011-07-08
379	The lasso command selects hidden hypotheses	1.1	closed-fixed	Carine Pascal	2009-12-17	2009-12-17
378	Unavoidably too many open handles?	1.1	closed-duplicate	Carine Pascal	2009-12-05	2009-12-07
376	"distinct variable" requirement in lambda abstraction	1.1	closed-fixed	Laurent Voisin	2009-11-20	2010-01-29
374	Problems parsing complex expressions	1.1	closed-fixed	Ingo Weigelt	2009-11-19	2022-04-08
373	Event-B keyboard does not translate "or"	1.1	closed-duplicate	Jens Bendisposto	2009-11-19	2009-11-20
372	MH and other rules are ill-defined	1.1	closed-fixed	Laurent Voisin	2009-11-10	2010-02-01
369	Can't edit Refinement if var and event have the same name	1.1	closed-fixed	Jens Bendisposto	2009-11-06	2009-11-13
368	Unexpected Error (possibly stack overflow)	1.1	closed-fixed	Nicolas Beauger	2009-11-03	2009-11-13
367	"Overflow" in partition rewriting	1.1	closed-fixed	Carine Pascal	2009-10-25	2011-09-21
366	No indication of Theorem guards in pretty print tab	1.1	closed-fixed	Thomas Muller	2009-10-23	2009-12-24
365	Oftype makes assert exception errors in hypotheses page	1.1	closed-fixed	Thomas Muller	2009-10-23	2009-10-27
364	Rewritten formula should be type checked exception	1.1	closed-fixed	Thomas Muller	2009-10-23	2009-12-21
363	Symbols View not directly accessible	1.1	closed-fixed	Aurélien GILLES	2009-10-21	2009-12-11

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels

(applies to this page only)