Ongoing activities include...
- New Debian 9-based VM
- Automated Docker installation
- Many updates of the ASN.1 compiler (in particular for Ada, the generation of Spark 2014 code)
- Support of multiple instances when working with SDL
- Support of the latest version of Pragmadev Studio
- Work on model checkers
- A Facebook page for TASTE
Stay tuned !