 |
| the SDA project |
| home |
| news |
| download |
| documentation |
| FAQ |
| references |
| tools for deadlock analysis |
|
Typical
DECO |
| contact: |
| Cosimo Laneve |
| January 2013 |
- 2013, February
- SDA website.
- 2013, January
- Bug fix and Final release.
- 2012, December
- Full Program, Test of the FAS Module by Fredhopper.
- 2012, October
- Initial inference system for the functional part of core ABS.
- 2012, April
- Initial prototype detecting cycles in contract languages.