Downloads

Binaries

• Download software packages directly from the sourceforge file realease page.

Source

You can browse the CVS via web interface here.

You can download the sources using anonymous cvs login.

• Protocol: pserver
• Host: cvs.sourceforge.net
• Repository: /cvsroot/lachesis
• Login: anonymous
• Password: no password required.

or your sourceforge account:

• Protocol: ssh/extssh
• Host: cvs.sourceforge.net
• Repository: /cvsroot/lachesis
• Login: your user name
• Password: your password

Documentation

• The documentation is available only in bulgarian.
• The main wokflow diagram is available only in bulgarian.
• The simplified lachesis analysis meta-model is here.