Friday, November 20, 2015

Backend Compatibility Matrix

by Michał Antkiewicz

We usually first implement new language features in one backend (e.g., Alloy) and add support to the other backend later. The result is that different backends support different language features.

Therefore, we have created Backend Compatibility Matrix, which provides versions in which support for a given feature was added to Alloy-based and Choco-based backend.


No comments:

Post a Comment

Note: Only a member of this blog may post a comment.