Added support for empty rules.
Added extra phase for outer parser.
Add phase name for inner parser
Merge pull request #330 from kframework/parser-phases

Parser phases
Merge pull request #329 from kframework/empty-rule-fix

Added support for empty rules.
lgtm
changed BitVector#toDigits to return the leading 0s
changed bitvector representation to <bitwidth>'<value>
added missing BuiltinBitVectorOperations#ne
clean up some ugliness in UnparserFilterNew
fix stupid compile error
modify installation instructions
Merge pull request #333 from dwightguth/unparser

clean up some ugliness in UnparserFilterNew
Merge pull request #332 from andreistefanescu/master

minor fixes to the machine integers
enforce copyright notice on all files modified in any commit
add some comments explaining what the checkstyle policy does
add comment explaining use of 2014
add comment explaining how to exclude files from copyright check
Merge pull request #336 from dwightguth/copyright

enforce copyright notice on all files modified in any commit
avoid creation of Z3 objects when constraint is a substitution (which is trivially satisfiable)
fixed copyright