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.
Javadoc and code style reviews.
Removed hashCode
Merge pull request #254 from kframework/pdmc

Pdmc: added method for getting the transitions path in an automaton