GitLab

Adds stats to the SMV files, useful to know how many roles have no transitions besides staying at FALSE; This will be used to show the possibilities of a future optimization

Lots of iterative work to find the bug....currently it looks like it is the NuSMV version 2.5.4 that is buggy, but these bug hunt changes do provide much needed cleanup to the code (see the singleton MohawkSettings)

HOTFIX: error occurred when slicing that would reorder the roles and there was an assumption that the last role is the admin role, so it incorrectly added an extra role to the sliced roles list instead of the admin role. This is fixed by iterating through the CA rules and adding a set of admin roles to the sliced RBAC instance. NOTE: the old code assumed that there could be only 1 admin role, this code allows for multiple admin roles (this might not be needed and if it isn't then the code can be optimized to search for the first CA with a Admin Role and then stop searching and adding every role to a set)

Bug data added; this is required to show the bug that occurs when SkipRefine is turned ON; remove from repo after bug is fixed!

Moving the regression test to mohawk.test; formatting the regression tests; changed positive3 to Ahn's test and positive4 to one of the converted files from NSA

Writes out the SMV file always and now can call NuSMV with the file's name instead writing the file contents in a pipe

Ability to write out each SMV file, currently deactivated (must manually change this - only do this if you want to manually run NuSMV), also now writes out (can disable) the rule that created each NuSMV NEXT case

Better Error Control (remember that logger.severe does not cut the program there, it will continue running so throw a new error after reporting it)

Reordering so it goes Variables -> Constructor -> Getters -> Public Alteration/Setters -> Private functions

HOT FIX: forgot to upload the new Mohawk parser in commit 0e40a234 ; updated Ahn's testcase file to show some of the new parser's abilities (new lines and tabs any where, line and block comments)

Better .gitignore file (if you want to add a test file to the repo you will need to manually add it)

Version 2.3.0 ; adding a CHANGELOG and VERSION file and updating the DOWNLOAD and README files with more relevant information

HOT FIX: Fixing NullPointerError from the Timing class, the timer name was not updated correctly in one of the past commits (4d32f444)

Updated to ANTLR 4.4 and StringTemplate V4; tested by running AHN's test and by running every test under data/testcases/positive/ (with  abstraction refinement on)

Extended and changed the option NOREFINE to SKIPREFINE and implemented it in the RUN ALL section; fixed recording of results; Increased version v2.2.0

Bad Conversion fixed, tested Ahn's code and all versions returned reachable except ASASPTime SA; there appears to be no error in the converted file so I will ask the creators if this is a bug on my side; Version updated to reflect changes
Timing 2015-08-15 00:52:44.968 1439614364968 2015-08-15 00:52:46.017 1439614366017 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.mohawk 1049 Process Helper
Timing 2015-08-15 00:52:46.056 1439614366056 2015-08-15 00:52:46.433 1439614366433 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.mohawk 377 Process Helper
Timing 2015-08-15 00:52:46.434 1439614366434 2015-08-15 00:52:46.728 1439614366728 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.mohawk 294 Process Helper
Timing 2015-08-15 00:52:46.729 1439614366729 2015-08-15 00:52:47.052 1439614367052 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.mohawk 323 Process Helper
Timing 2015-08-15 00:52:47.053 1439614367053 2015-08-15 00:52:47.381 1439614367381 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.mohawk 328 Process Helper
Timing 2015-08-15 00:52:47.382 1439614367382 2015-08-15 00:52:47.465 1439614367465 GOAL_UNREACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.sa 83 Process Helper
Timing 2015-08-15 00:52:47.466 1439614367466 2015-08-15 00:52:47.491 1439614367491 GOAL_UNREACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.sa 25 Process Helper
Timing 2015-08-15 00:52:47.492 1439614367492 2015-08-15 00:52:47.519 1439614367519 GOAL_UNREACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.sa 27 Process Helper
Timing 2015-08-15 00:52:47.52 1439614367520 2015-08-15 00:52:47.544 1439614367544 GOAL_UNREACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.sa 24 Process Helper
Timing 2015-08-15 00:52:47.545 1439614367545 2015-08-15 00:52:47.573 1439614367573 GOAL_UNREACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.sa 28 Process Helper
Timing 2015-08-15 00:52:47.587 1439614367587 2015-08-15 00:53:01.412 1439614381412 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.nsa 13825 Process Helper
Timing 2015-08-15 00:53:01.414 1439614381414 2015-08-15 00:53:02.834 1439614382834 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.nsa 1420 Process Helper
Timing 2015-08-15 00:53:02.835 1439614382835 2015-08-15 00:53:04.208 1439614384208 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.nsa 1373 Process Helper
Timing 2015-08-15 00:53:04.209 1439614384209 2015-08-15 00:53:05.541 1439614385541 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.nsa 1332 Process Helper
Timing 2015-08-15 00:53:05.542 1439614385542 2015-08-15 00:53:06.916 1439614386916 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.asaptime.nsa 1374 Process Helper
Timing 2015-08-15 00:53:06.918 1439614386918 2015-08-15 00:53:06.934 1439614386934 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.trole 16 Process Helper
Timing 2015-08-15 00:53:06.934 1439614386934 2015-08-15 00:53:06.938 1439614386938 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.trole 4 Process Helper
Timing 2015-08-15 00:53:06.938 1439614386938 2015-08-15 00:53:06.941 1439614386941 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.trole 3 Process Helper
Timing 2015-08-15 00:53:06.942 1439614386942 2015-08-15 00:53:06.944 1439614386944 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.trole 2 Process Helper
Timing 2015-08-15 00:53:06.945 1439614386945 2015-08-15 00:53:06.948 1439614386948 GOAL_REACHABLE /home/jmshahen/repo/mohawk-t-testing-tool/data/Ahn/test.st.mohawk.T.trole 3 Process Helper

Conflicts:
	src/mohawk/MohawkCUI.java
	src/mohawk/refine/RolesAbsRefine.java