Skip to content

Release 3.8.3 (May 2022)

Compare
Choose a tag to compare
@skrieter skrieter released this 01 Jun 17:54
· 208 commits to master since this release
  • Hotfix containing mostly bugfixes over v3.8.2
  • Fixed bug that prevented features from being deleted in feature model editor (#1350)
  • Fixed bug that prevented deletion of multiple constraints (#1342)
  • Fixed bug that changed feature order in DIMACS files (#1340)
  • Fixed problem when slicing alternative groups (#1348)
  • Fixed typos in some dialogs for FeatureHouse (#1106)
  • Improvements for FeatureIDE preference page
    • Fixed behavior when reseting options to default values
    • Fixed behavior when leaving the page without applying changes
    • Added option to omit artificial root, when saving a feature model as DIMACS file (#1340)
  • Added missing actions for root feature of submodels in feature model editor (#1314)
  • Added license file and corresponding information to repository root (#1290)
  • Minor API improvements (#1351)