Changelog

2022-12-12

Added centering of features from features and issues lists as well as when using the search field
Sorted lists within side-bar where appropriate
Fixed a bug that caused to display another proof than selected
Minor improvements and fixes

Allowed to store a note for each feature
Allowed to undo/redo every modification of feature models
Added new side-bar tab to display proofs for conjectures and dead features
Added button that exports the current feature model to a GFM file to the tab-bar on small screens
Added keyboard shortcuts
Allowed to clone feature model by right-clicking the tab
Allowed to clone configurations
Improved default names of new created configurations
Fixed a bug that allowed to create invalid configurations
Moved list of contraints into new submenus of a feature's context menu
Hide list of simple constraints if there is no one
Allowed to resize editor for conjectures and advanced constraints
Discontinued support for Microsoft Edge with EdgeHMTL engine
Updated privacy policy
Minor improvements and fixes

Added storage and recovery of feature models in/from local browser storage to prevent accidental data loss
Show icons instead of text labels on side-bar tabs
Improved dialog to create or edit advanced constraints or conjectures
- Auto-format formula on opening the dialog
- Allowed to insert whitespace characters for spacing/indenting/line breaks
- Sort list of features
- Added button to check formula syntax
- Improved formatting of syntax error messages
Improved coloring of features while configuring
Enabled loading feature models from files in every browser on iOS/iPadOS devices
Made metrics table scrollable
Added issue detector for inconsistent feature models
Allow multiple processes in HTTP mode
Fixed a bug that caused some touch gestures not to be detected if using Safari on iPadOS
Fixed a bug that caused erroneous SPASS exports if nesting xor() and excludes() in advanced constraints
Minor improvements and fixes

Added interactive product configurator
Added analysis Unique features
Added metrics Configurations, Unique features, Variant Features and Partial Variability
Added solver microsat to solver farm
Added PNG exporter
Added issue detector for simple constraints that link features on the same path
Added highlighting of common, unique and dead features within feature list
Allowed to delete features from within feature list
Allowed to create constraints from within constraint list
Unified display of feature names within lists
Fixed a bug that did not allow to create advanced constraints containing features with non-unique names
Minor improvements and fixes

Added authentication of users by e-mail address and password
Updated privacy policy (https://glencoe.hochschule-trier.de/webapp/md/LEGAL)
Massively reduced delay time when opening feature models with large number of constraints
Execute analyses in chunks of at most 100 parallel processes to prevent overstress of system-wide resources
Changed default solver from PicoSAT to MiniSat
Minor improvements and fixes

Fixed a bug that prevented to revert deletion of features when features within deleted subtree where part of a conjecture

Added a Issues list
Added an Excel exporter
Fixed a bug that included non-pseudonymized feature IDs and names when exporting check results to GFM files
Fixed a bug that caused a non-working search in Firefox and Edge
Minor improvements and fixes

Added Run all checks
Added metrics Maximal constraints per feature and Average constraints per feature
Highlight selected features in feature lists
Merged lists of common features and false optional features
Minor improvements and fixes

Added lists of common and dead features to right side-bar
Added SVG export
Added Z3 solver to solver farm
Fixed a bug that prevented importing v.control files containing constraints with nested n-ary terms
Minor improvements and fixes