Community Z Tools Bugs

Tool support for the Z formal notation

Status: Beta

Brought to you by: andrius-velykis, leouk, marku, petramalik, timmiller

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

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels
Priority
Votes

(applies to this page only)

1 2 > >> (Page 1 of 2)