ALEX v1.7.0

Breaking Changes

• Removed the HTML Element Picker.
  The picker only really worked in Chrome and then only in some selected use cases, i.e. static pages.
  Due to these restrictions we decided to remove it completely.
• Removed xvfb option.
  The option was introduced when major browsers did not have a headless mode.
  Since the option only worked on Linux systems and all major browsers have such a mode, the option has been removed.

Features

• Basic LTL-based model checking using LTSmin.
• Compatibility with Java > 8.
• Add action to set a variable by HTTP status.
• Improved parallelisation support for learning processes.
• Permanently delete symbols instead of just hiding them.
  This only works if a symbol is not referenced by some other entity.
• Symbol groups can have the same name when they don't share the parent group.
• New events for when symbols are deleted permanently.
• New model checker related events.
• The JWT expires after 7 days.

Fixes

• Test results are ordered properly.
• Fix resuming learning processes with new input symbols.