Version 1.0.0.0
Version 1.0.0.0
Other files removed.
Ignore added.
PKS is now reffered to as unparametrized.
Multiedges logic included, needs testing.
Merged with release for forgotten parts.
Now correctness with previous version ensured

still probably errornous on the multiedge input.
Multi-edges look good, tests are OK.
Multi-edges now complete.
New edge labels present and partially tested.
Improvements in parsing error descriptions.
New function for types demangling created.
Further improvements in the parsing of files.
New tests passed - additional control on target values and thresholds.
Updated edge labels logic has been added.
New version of edge labels included.
Updates to the system of edge constrains.
Optimization restraining the self-loops to only unique behaviours added.
SQLite added.