Community Z Tools / 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	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
130	Typechecker crashes instead of giving type error	none	open		2020-06-02	2020-06-02	6
129	Eclipse build failure	none	open	Andrius Velykis	2014-09-30	2014-09-30	9
128	Unnecessary SectionManager initialisation in Unicode2Latex	none	open		2014-06-07	2014-06-07	5
127	Z/EVES typechecker loops with recursive typechecking	none	open	Leo Freitas	2014-06-07	2014-07-16	5
124	Velocity log errors	none	open	Andrius Velykis	2013-04-25	2023-06-01	5
123	Error in Rules testing?	none	open		2013-04-25	2013-04-25	4
122	Eclipse Help not quite right	none	open		2013-04-15	2013-04-15	5
121	Outline Window not always populated	none	open		2013-04-15	2013-04-15	5
120	Go To Declaration doesn't work across files	none	open		2013-04-15	2013-04-15	5
119	Tests fail on vcg	none	open	Leo Freitas	2013-04-03	2013-04-11	5
118	NPE when opening TheoryEditor on *.oz8 file	none	open		2013-04-03	2015-02-23	5
117	Eclipse is running slowly - profile?	None	open	Andrius Velykis	2011-10-28	2013-03-06	5
115	applies$to syntax error in zeves_prelude.tex	None	open	Leo Freitas	2012-12-12	2012-12-12	5
114	CZTSans font gives error on OS X Mountain Lion	None	open	Petra Malik	2012-12-11	2012-12-11	5
113	Inconsistencies between ISO-Z and ZEves toolkits	None	open	Andrius Velykis	2012-11-14	2012-11-14	5
112	loaded sections doesn't appear right	None	open	Andrius Velykis	2012-11-14	2012-11-14	5
111	VCs name problems	None	open	Andrius Velykis	2012-11-02	2012-11-02	5
110	refinement VCG across sections not working	None	open	Leo Freitas	2012-11-02	2012-11-02	5
109	low-level crashing on certain new op templates	None	open	Andrius Velykis	2012-11-02	2012-11-02	5
108	couple of errors on ZEves printer	None	open	Leo Freitas	2012-11-01	2012-11-01	5
107	ZEves renaming printted flippted	None	open	Andrius Velykis	2012-10-24	2012-10-24	5
105	Compilation error ...	None	open		2012-08-16	2012-08-16	5
102	auto-completion delays	None	open	Andrius Velykis	2012-04-12	2012-04-12	5
95	ZEves Unicode converter loses Labels	None	open	Leo Freitas	2012-02-01	2012-02-01	5
94	ZVCG inconsistent state after exception	None	open	Andrius Velykis	2012-01-25	2012-01-25	5

1 2 > >> (Page 1 of 2)

Community Z Tools Bugs

Tool support for the Z formal notation

Group

Searches

Help

Bugs Maximize Restore