added support for multiple syntactic lists with the same separator in the java rewrite engine

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10496 82a86efa-2583-11df-8ea0-49ba94de29ab
fix #noIO bug


git-svn-id: http://k-framework.googlecode.com/svn/trunk@10497 82a86efa-2583-11df-8ea0-49ba94de29ab
another small fix


git-svn-id: http://k-framework.googlecode.com/svn/trunk@10498 82a86efa-2583-11df-8ea0-49ba94de29ab
Kompile - fixing issue 682 - KItem is now a special sort in the subsorts list.

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10499 82a86efa-2583-11df-8ea0-49ba94de29ab
Kompile - partial fix for issue 686.

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10500 82a86efa-2583-11df-8ea0-49ba94de29ab
Half patch for issue 686
php


git-svn-id: http://k-framework.googlecode.com/svn/trunk@10501 82a86efa-2583-11df-8ea0-49ba94de29ab
fixed some issue for the cink definitions, which occurred after merging the branch and the trunk.

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10502 82a86efa-2583-11df-8ea0-49ba94de29ab
Fix for Issue686 and regression test added.



git-svn-id: http://k-framework.googlecode.com/svn/trunk@10503 82a86efa-2583-11df-8ea0-49ba94de29ab
Forgot to add the test to the list to be checked.


git-svn-id: http://k-framework.googlecode.com/svn/trunk@10504 82a86efa-2583-11df-8ea0-49ba94de29ab
updated issue682

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10505 82a86efa-2583-11df-8ea0-49ba94de29ab
simplified set tests

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10506 82a86efa-2583-11df-8ea0-49ba94de29ab
Kompile - fixing issue 682, part 2. Updated the variable declarations, since KItem is a special sort.

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10507 82a86efa-2583-11df-8ea0-49ba94de29ab
updated simple-untyped for the java rewrite engine

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10508 82a86efa-2583-11df-8ea0-49ba94de29ab
Kompile - adding support for ensures and requires for rules.

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10509 82a86efa-2583-11df-8ea0-49ba94de29ab
Kompile - fixing previous commit.

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10510 82a86efa-2583-11df-8ea0-49ba94de29ab
store separate compiled definitions for different backends


git-svn-id: http://k-framework.googlecode.com/svn/trunk@10511 82a86efa-2583-11df-8ea0-49ba94de29ab
Kompile - adapting fastKast to the new requires/ensures sentences.

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10512 82a86efa-2583-11df-8ea0-49ba94de29ab
fixed rule indexing issues

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10513 82a86efa-2583-11df-8ea0-49ba94de29ab
Pusdouwn model checking started.



git-svn-id: http://k-framework.googlecode.com/svn/trunk@10514 82a86efa-2583-11df-8ea0-49ba94de29ab
Progress on Builtin Lists.  now insertion works. 



git-svn-id: http://k-framework.googlecode.com/svn/trunk@10515 82a86efa-2583-11df-8ea0-49ba94de29ab