Merge pull request #1411 from IETS3/merge/mps20251

Manual merge of merge/mps20251

Author: arimer

CHANGELOG.md

@@ -16,6 +16,9 @@ The project does _not_ follow Semantic Versioning and the changes are documented
 
 ### Added
 - CI tests for InterpreterCoverageAssQuery which make use use the calculated coverage data
+- Solver: Add test infrastructure to ensure that errors computed by any solver are converted to editor messages properly.
+- Variability: APIs for FilterParams (configuration of filter&instantiate process) and skeleton tree data structure were extended
+
 
 ## June 2025