Clafer Web Tools 0.4.1 Released

by Michał Antkiewicz

The release 0.4.1 of the web tools is the first major release since 0.3.6.1!

This release wouldn't be possible without the hard work of Eldar Khalilov who took on a difficult task of switching the tools from the old XML format to the new JSON format of the compiler's intermediate representation.

The release includes compatibility with Clafer 0.4.1 and the new features of the language since 0.3.6.1 and many functional and performance improvements (by both Alexandr Murashkin and Eldar Khalilov).

• ClaferToolsUICommonPlatform, release pull request
  
  • support for compiler's JSON output instead of XML
  • improved matrix performance
  • new filtering by value in matrix
  • scaling of parallel coordinates chart
• ClaferMOOVisualizer, release pull request
  
  • new matrix
  • fully qualified names in variant comparer
  • zooming in bubble graph
  • updated examples
• ClaferConfigurator, release pull request
  • new matrix
  • updated examples
• ClaferIDE, release pull request
  
  • updated examples