#167 develop to master for v0.3-M1

See merge request !133

#167 Updated release notes for v0.3-M1.

See merge request !132

Merge branch '164-There-are-no-warnings-for-uncontrollable-events-that-are-never-enabled-in-the-controlled-system-for-datasynth' into 'develop'

#164 Add warnings for uncontrollable events not enabled in the controlled statespace.

Closes #164

See merge request !131

- Moved the methods in order they are called by the synthesize method.

- Created method that checks output edges.
- Consistend use of guard vs. guards.
- Removed "linearized", as almost all guards are linearized.

Always use the determineLinearizedGuards method.

Computes the linearized guards for the uncontrollable events and combines that with the ctrlBeh predicate. From there the warnings are generated.

Merge branch '162-Databased-synthesis-doesn't-recognize-events-not-enabled-in-the-controlled-system' into 'develop'

#162 #150 Use ctrlBeh predicate to determine whether an event is enabled in controlled system for datasynth

Closes #162 and #150

See merge request !129

Merge branch '163-Databased-synthesis-documentation-should-be-updated-wrt-simplification-for-code-gen-tools' into 'develop'

#163 Updated datasynth documentation.

Closes #163

See merge request !130

#157 Fail license check early for Dash license tool Maven failures.

Closes #157

See merge request !125

State/event invariants are compatible with code genaration tools.

#162 Use ctrlBeh predicate to determine whether an event is enabled in controlled system for datasynth.

Merge branch '144-Supervisor-simplification-with-respect-to-plant-guards-misses-trivial-case' into 'develop'

#144 Changed supervisor simplification for events that are not enabled in the system to true.

Closes #144

See merge request !128

#149 #154 Add test cases for CIF to PLC for TwinCAT

Closes #149 and #154

See merge request !124

Merge branch '161-license-check-failure-org-apache-xerces-2-12-1-v20210115-0812-revert' into 'develop'

#161 Reverting DEPENDENCIES.txt change for xerces.

Closes #161

See merge request !127

#161 License check result update for xerces.

Closes #161

See merge request !126

#153 Updated dependecies file

Closes #153

See merge request !123

#148 Add switch expressions to data-based synthesis.

Closes #148

See merge request !121

#139 #140 remove inherintence of supervisory kind for invariants

Closes #139 and #140

See merge request !116

Merge branch '#143-using-constant-results-in-unsupported-linearized-guard-with-data-based-synthesis' into 'develop'

#143 Using constant results in unsupported linearized guard with data-based synthesis.

Closes #143

See merge request !120