| 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 |
|