Tags give the ability to mark specific points in history as being important
Fix small bug related to FRET integration (button open FRET stays greyed out if FRET is not configured)
Fix small bug after Fret integration in Linux (Verification page does not load until Fret/Cygwin are configured)
PV-124: added dummy keywords so that it can parse the data types for variables in the constant variable section
PV-92: Included fixes for PV-107 and PV-53 PV-112: CFAs output files produced by default
PV-92: Included functionalities to work with TIA Portal V16 PV-103: T_CYCLE is always a signed integer of 32 bits and must be set in the verification case settings
PV-102: removing the part of the code producing the CNF of a failed assertion as it may cause PLCverif to run out of memory.