Version 2.3.0 ; adding a CHANGELOG and VERSION file and updating the DOWNLOAD...

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

CHANGELOG.md

+# Change Log
+All notable changes to this project will be documented in this file.
+This project adheres to [Semantic Versioning](http://semver.org/).
+
+#####################################################
+## [2.3.0] - 2015-11-09
+### Fixed
+- lots of small fixes here and there
+
+### Bugs
+- None at known at this time
+
+### Added
+- Updated to ANTLR 4.4 and StringTemplate V4
+- lots of logging
+- Mohawk files can now have variable space and comments (pretty much the same as the Mohawk+T format except 
+	with different literals and a strict ordering)
+- CHANGELOG and VERSION files
+- lots of small changes that got lost in the commit messages
\ No newline at end of file

DOWNLOAD

 /********************************************************************
  * PROGRAM NAME: Mohawk - A Model Checker for ARBAC Policies	
  *		
- * AUTHORS: Karthick Jayaraman
+ * AUTHORS: Jonathan Shahen; Karthick Jayaraman
  *	
  * BEGIN DATE: October, 2009
  *
  * LICENSE: Please view LICENSE file in the home dir of this Program
  ********************************************************************/
 
-SVN command to checkout:
-
-svn checkout http://mohawk.googlecode.com/svn/trunk/ mohawk-read-only
-
+GIT command to clone the repository:
 
+git clone https://bitbucket.org/jshahen/mohawk-2.0.git

README.md

-
 /********************************************************************
  * PROGRAM NAME: Mohawk - A Model Checker for ARBAC Policies	
  *		
- * AUTHORS: Karthick Jayaraman, Jonathan Shahen
+ * AUTHORS: Jonathan Shahen; Karthick Jayaraman
  *	
  * BEGIN DATE: October, 2009
  *
@@ -12,25 +11,18 @@
 
 INSTALL
 -------
-See INSTALL file in the home dir of this program
+See INSTALL file in the home directory of this program
 
 LICENSE
 -------
-See LICENSE file in the home dir of this program
+See LICENSE file in the home directory of this program
 
 WEBSITE
 -------
-http://code.google.com/p/mohawk/
+https://ece.uwaterloo.ca/~jmshahen/mohawk+t/
 
-Google Code REPOSITORY
+Bitbucket REPOSITORY
 ----------------------
-svn checkout http://mohawk.googlecode.com/svn/trunk/ mohawk-read-only
-
-DOCUMENTATION
--------------
-Not published yet
+git clone https://bitbucket.org/jshahen/mohawk-2.0.git
 
-PAPERS
-------
-check paper directory
 

VERSION

+2.3.0
\ No newline at end of file

src/mohawk/MohawkInstance.java

 package mohawk;
 
-import java.io.BufferedReader;
-import java.io.File;
-import java.io.FileOutputStream;
-import java.io.IOException;
-import java.io.InputStreamReader;
-import java.io.PrintWriter;
-import java.io.StringWriter;
-import java.util.logging.ConsoleHandler;
-import java.util.logging.FileHandler;
-import java.util.logging.Handler;
-import java.util.logging.Level;
-import java.util.logging.Logger;
-
-import org.apache.commons.cli.BasicParser;
-import org.apache.commons.cli.CommandLine;
-import org.apache.commons.cli.CommandLineParser;
-import org.apache.commons.cli.HelpFormatter;
-import org.apache.commons.cli.OptionBuilder;
-import org.apache.commons.cli.Options;
-import org.apache.commons.cli.ParseException;
+import java.io.*;
+import java.util.logging.*;
+
+import org.apache.commons.cli.*;
 import org.apache.commons.lang3.StringUtils;
 
 import mohawk.global.formatter.MohawkCSVFileFormatter;
@@ -36,7 +20,7 @@ import mohawk.testing.TestingSuite;
  */
 
 public class MohawkInstance {
-    private final String VERSION = "v2.2.0";
+    private final String VERSION = "v2.3.0";
     private static final String AUTHORS = "Jonathan Shahen <jmshahen [AT] uwaterloo [DOT] ca>; Karthick Jayaraman";
 
     // Logger Fields
@@ -142,7 +126,7 @@ public class MohawkInstance {
 
         logger.info("[EOF] Mohawk is done running");
         for (Handler h : logger.getHandlers()) {
-            h.close();//must call h.close or a .LCK file will remain.
+            h.close();// must call h.close or a .LCK file will remain.
         }
 
         return 0;