RODIN Bugs

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

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
834	Impossible to type some datatype constructors	3.10	open	Guillaume Verdier	2024-12-09	2025-03-02
800	Interaction between content assist and proof “yellow box”	unplanned	open		2022-03-16	2022-03-16
794	Formula factory handling during proof replay	unplanned	open		2021-06-04	2021-06-04
793	Completion doesn't work in Rodin editor	unplanned	open		2021-03-09	2021-03-09
792	Internal error after renaming	unplanned	open		2021-02-17	2021-02-17
785	Dark mode in MacOS	3.9	open		2020-09-08	2023-04-11
784	A strange error of decomposition	3.5	open		2020-08-12	2020-09-15
752	Mode/FT Views: Failure to install	unplanned	open		2015-06-19	2015-11-05
751	Project Diagram Plugin Fails	3.1	open	Colin Snook	2015-06-18	2020-09-08
744	Proofs broken after refactoring	3.1	open		2015-04-14	2015-04-15
732	Disappearing proof obligations in Explorer	3.3	open		2015-01-26	2015-11-05
709	When editing textfields, rodin hangs and consume 100% CPU	1.0	pending		2014-04-09	2014-04-14
707	Not refreshing current proof node when model changes	3.1	open	Nicolas Beauger	2014-02-24	2014-02-24
700	Renaming makes all proofs automatic	3.1	open		2013-11-13	2013-11-13
688	Exception while loading font on startup	unplanned	open		2013-07-31	2013-10-25
684	PUI does not preserve whitespace	2.8	open		2013-06-25	2013-06-26
681	GI (soton) - No class def found exception	2.7	open	Asieh Salehi	2013-06-19	2013-06-19
674	Deadlock while loading buffer	unknown	open		2013-05-23	2013-05-23
663	Indexers are not run independently	unplanned	open		2013-04-24	2013-10-25
662	Not refreshing proof interface	unplanned	open	Nicolas Beauger	2013-04-24	2013-10-29
653	NPE during build	3.1	open	Nicolas Beauger	2013-04-16	2013-11-04
650	Improve error message for wrong use of type	3.0	open	Laurent Voisin	2013-04-02	2013-04-02
649	Invalid root elements in file contents are not detected	unplanned	open		2013-02-21	2013-10-25
646	Inconsistent generation of SIM POs	3.0	open	Laurent Voisin	2013-01-23	2013-01-23
645	symbol table doesn't work for property sheets	3.1	open		2013-01-10	2013-11-04

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels

(applies to this page only)

1 2 3 4 > >> (Page 1 of 4)