add
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Merge branch 'master' of https://github.com/kframework/k
Parsing - fixing issue 168. Added module SYMBOLIC-SYNTAX to the list of included modules.
Towards binder-sensitive unification&substitution
Removed Binder from the renaming of variables.
Merge branch 'master' of https://github.com/kframework/k
submit simulation
submit simulation
minor: corrected indentation
minor: fixed indentation
added some documentation for the backend and compiler steps
minor: revised some documenation; cleaned up some code
added a new temporary unflatten-java backend
testgen: when generating contexts from seqstrict production, use side conditions to enforce certain arguments to be KResults
used the flag K.do_testgen to avoid failing test cases for Java rewrite engine; further investigation needed
submit simulation