Towards generating witnesses. Path in PAutomaton done.
Towards generating witnesses. Path in PAutomaton done.
Merge branch 'pdmc' of https://github.com/kframework/k into pdmc
Added test for getPath
Cleanup.
added MOVIE links to README.md files in Tutorial 3
updated some READMEs in Part 4, but still a lot left
forgot to commit these
renamed and revised all the README files of Tutorial 5
added MOVIE links to README.md files in Tutorial 3
updated some READMEs in Part 4, but still a lot left
forgot to commit these
renamed and revised all the README files of Tutorial 5
Merge branch 'master' of https://github.com/grosu/k
Javadoc and code style reviews.
Merge pull request #258 from grosu/master

Renamed and upated the tutorial README files (now README.md)
Removed hashCode
Eliminate tabs from source file.

Without this, "ant test" fails with

checkstyle:
[checkstyle] Running Checkstyle 5.7 on 701 files
[checkstyle] AbstractMatcher.java:15:1: File contains tab characters
  (this is the first instance).
Merge pull request #254 from kframework/pdmc

Pdmc: added method for getting the transitions path in an automaton
"Fixed" unicode comments and added more JavaDoc.