Latest news

From TASTE
Jump to: navigation, search

TASTE Activities

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 !



Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox