Community Z Tools Feature Requests

Tool support for the Z formal notation

Status: Beta

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

Feature Requests 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
43	ModelJUnit dependency on Maven Central	Next_Release_(example)	open	Andrius Velykis	2014-05-22	2014-05-22	5	0
42	auto-complete disable option	zeveseclipse	open	Andrius Velykis	2013-10-31	2013-10-31	5	0
41	Put CZT LaTeX resources on the website	Next_Release_(example)	open	Andrius Velykis	2013-05-30	2013-05-30	5	0
40	Usablility improvements	Next_Release_(example)	open		2013-04-15	2013-04-15	5	0
39	maven subprojects	None	open	Andrius Velykis	2013-02-04	2013-02-04	5	0
37	model information query/display	None	open	Andrius Velykis	2012-05-25	2012-05-25	7	0
36	proof process thread priority	None	open	Andrius Velykis	2012-04-12	2012-04-12	7	0
34	"insert at cursor" on verification window	None	open	Andrius Velykis	2012-01-25	2012-01-25	5	0
30	VCG PO "proved" state	None	open	Andrius Velykis	2011-11-28	2011-11-28	5	0
29	ZVCG consistency + order of thm	None	open	Andrius Velykis	2011-11-24	2011-11-24	8	0
28	"Type of" buttom	None	open	Andrius Velykis	2011-11-17	2011-11-17	8	0
27	Improvements to section handling UI in Z/Eves	None	open	Andrius Velykis	2011-11-11	2011-11-11	5	0
26	Handle .tex files in addition to .zed	None	open	Andrius Velykis	2011-11-11	2011-11-11	5	0
25	Source code location in Theorems window	None	open	Andrius Velykis	2011-11-11	2011-11-11	5	0
24	VCG PO insert - include zproof	None	open	Andrius Velykis	2011-11-11	2011-11-11	5	0
23	Apply commands "in general" via context menu	None	open	Andrius Velykis	2011-11-11	2014-11-01	5	0
22	Copying with "Force Unicode" in Output view	None	open	Andrius Velykis	2011-11-11	2011-11-11	5	0
19	czt.path options in ZCompiler	None	open	Andrius Velykis	2011-11-11	2011-11-11	5	0
18	Quick actions in Theorems and Verification	zeveseclipse	open	Andrius Velykis	2011-11-11	2011-11-11	5	0
17	Automatically synchronise proof state with prover	None	open	Andrius Velykis	2011-11-11	2011-11-11	5	0
16	Display statistics on proof environment	None	open	Andrius Velykis	2011-11-11	2011-11-11	5	0
15	identification of proof loops?	None	open	Andrius Velykis	2011-11-11	2011-11-11	5	0
14	proof timing	None	open	Andrius Velykis	2011-11-08	2011-11-08	3	0
11	ways of avoiding reproving	None	open	Andrius Velykis	2011-10-24	2011-10-24	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)