Difference between revisions of "Latest news"

From TASTE
Jump to: navigation, search
(TASTE Activities)
 
m (1 revision imported)
(No difference)

Revision as of 21:01, 4 August 2017

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 !