GitLab

Intermediate commit: role mapping file produced to make it easier to understand the NuSMV file (role mapping to come)

intermediate commit: pipeline works for converting to NuSMV, progress made on the template but more work still needed

Adds the command '!prev' to execute the previous command: makes life easier; added commands for the bug hunt

Prevent long lines in Mohawk files by printing newlines for CA and CR rules (WARNING: this breaks older versions of Mohawk 2.0 and Mohawk 1.0)

Moving parsers to Global repo and created a ParserHelper instead of using the ConverterRegressionTests static function runParser

# Conflicts:
#	src/mohawk/converter/ConverterInstance.java - not really a conflict, took everything from NewCanEnable

Reordering of variables to allows for better error log messages; now dumps out the roles and their hashed values to a file if an error occurs

Implemented ONLY option which allows for running only 1 reduction on a MohawkT file (currently implemented Remove CanEnable v1 and Remove CanEnable v2)

Upgraded version; testing results show it is more correct than the Conference Version, but this means that it is now slower for some of the testcases (specifically AGTUniv10.txt)

This is the current version of Mohawk+T: it is more correct than the conference version (see the previous emails with Ahn and Silvio for the bugs they reported), it is slower on the big tests, and it returns the wrong result for the bigger cases of NSA.

Implemented ShortNames option: the converted file will shorten the names of all the rolenames so it is easier to read, and is a much smaller file size