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
added more constans in KilProperty.java; renamed @DependsOn and @Provides to mode standard @Requires and @Ensures; @Requires and @Ensures now take an array to allow for multiple constans; used KilProperty in DataStructureToLookupUpdate.java
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
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