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
moved isPredicateLabel from MetaK to KLabelConstant
run junit tests on every "ant test" invocation
Added information about isSort Klabels to "manual"
added support for string to int conversion in given base (hook #CONVERSION:string2Base)
Merge pull request #252 from dwightguth/junit

run junit tests on every "ant test" invocation
Merge pull request #250 from kframework/isPredicateLabel

moved isPredicateLabel from MetaK to KLabelConstant
fixed bug in mint.k
Added test for getPath
Cleanup.
write some sample unit tests
added MOVIE links to README.md files in Tutorial 3
add checkstyle with 1 check (tabs) and fix it so it passes
Merge pull request #256 from dwightguth/checkstyle

add checkstyle with 1 check (tabs) and fix it so it passes
Merge pull request #255 from dwightguth/unit-test2

write some sample unit tests
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