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.
Java backend: implemented the Matchable interface
Java backend: implemented the pattern matching functionality which is independent from the unification
fixed an incompatible type error detected by Eclipse
Java backend: more progress on the interface for pattern matching
Java backend: cleaned up PatternMatcher a little bit
Java backend: experimental: more work on lazy substitution and evaluation of the subject term during pattern matching
reverted my previous commit
Java backend: fixed a bug introduced by me earlier in the visitor pattern
added mockito to the Eclipse classpath file of KTool
Java backend: pattern matching: removed a wrong assertion
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