etomcrl: An Erlang to mCRL compiler Feature Requests

Status: Alpha

Brought to you by: juanjosanchez, manager

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
2	unary numbers to base ten	release_Lagerlof	open		2004-05-05	2004-05-05
1	guards in erl_trans_id and logical operators	release_Lagerlof	open		2004-05-05	2004-05-05

(applies to this page only)