# | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | Priority▾ | |
---|---|---|---|---|---|---|---|---|
26 | Add fairness to the Genetic Algorithm example | Release 1.3 | open | 2011-11-17 | 2011-11-17 | 3 | ||
23 | Optimize event closure for empty announce statement body | Release 1.3 | open | Rex Fernando | 2011-07-29 | 2011-07-29 | 5 | |
22 | Add announce p (e*); as a syntactic sugar | Release 1.3 | open | Rex Fernando | 2011-07-29 | 2011-07-29 | 5 | |
19 | Implement pure method annotations | Release 1.3 | open | Rex Fernando | 2011-07-22 | 2011-07-22 | 5 | |
4 | Simplify translucid contracts syntax via embedded contracts | Release 1.1 | open | Mehdi Bagherzadeh | 2011-03-01 | 2011-03-01 | 9 | |
2 | Allow Disjunction Operator in Binding Declarations | Release 1.1 | open | Robert Dyer | 2010-02-06 | 2011-01-22 | 5 |