GitHub repository and new contributor

A GitHub repository has been created : All the development versions of APTE will be available there as well as the different releases. Nevertheless, it will still be possible to download the stable versions of APTE directly from the Download page of this website.

A new contributor joined the project : Lucca Hirschi. He is a PhD student in the Laboratoire Spécification et Vérification and he is implementing a new feature that aims to improve the performance of the tool.