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
9	lemma generation / inference (2)	None	open	Andrius Velykis	2011-10-20	2011-10-20	8	0
7	completion of missing proof script env	None	open	Andrius Velykis	2011-10-20	2011-11-25	7	0
6	Reading ZLive Commands from a File	Next_Release_(example)	open	Mark Utting	2008-08-20	2008-08-20	5	0
5	Including CZT into the public maven repository.	None	open		2007-12-06	2007-12-06	5	0
4	Support stdin/stdout in main CZT program	None	open		2007-03-27	2007-03-27	5	0
3	ExprPred and unification	None	open	Petra Malik	2006-10-03	2006-10-03	5	0
1	freetyoe constructor into JEdit pallet	None	open	Petra Malik	2006-06-07	2006-06-14	5	0

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

(applies to this page only)

<< < 1 2 (Page 2 of 2)