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
Added support for test generation to the java rewrite engine

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10516 82a86efa-2583-11df-8ea0-49ba94de29ab
Kompile - adjusting the start symbol of fastKast rules.

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10517 82a86efa-2583-11df-8ea0-49ba94de29ab
More work on pdmc



git-svn-id: http://k-framework.googlecode.com/svn/trunk@10518 82a86efa-2583-11df-8ea0-49ba94de29ab
Kompile - added support for error reporting from the C parser.

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

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10521 82a86efa-2583-11df-8ea0-49ba94de29ab
Added Owners (myself and Dorel) to the pushdown model checking package.



git-svn-id: http://k-framework.googlecode.com/svn/trunk@10522 82a86efa-2583-11df-8ea0-49ba94de29ab
List deletion also works.



git-svn-id: http://k-framework.googlecode.com/svn/trunk@10523 82a86efa-2583-11df-8ea0-49ba94de29ab
Kompile - improving the Cast disambiguation filter to allow for stacked casts.

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

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10525 82a86efa-2583-11df-8ea0-49ba94de29ab
change ant test so it takes a little bit longer to run but doesn't depend on the positioning of defx.bin


git-svn-id: http://k-framework.googlecode.com/svn/trunk@10526 82a86efa-2583-11df-8ea0-49ba94de29ab
add "unixOnly" parameter to ant test xml which runs a test only on unix with an initialization shell script


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

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

git-svn-id: http://k-framework.googlecode.com/svn/trunk@10531 82a86efa-2583-11df-8ea0-49ba94de29ab
big refactoring to add TermContext to everything instead of Definition. plus use it to give a FileSystem to IO hooks


git-svn-id: http://k-framework.googlecode.com/svn/trunk@10534 82a86efa-2583-11df-8ea0-49ba94de29ab
Improving creation of lists builtins.



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