some progress on porting the cil semantics to the java rewrite engine
more cil-syntax.k cil-common.k and part of cil-typing.k translated
cil compiles with the maude backend
translated list, maps and sets
more progress on translating cil to the java rewrite engine
cil compiles with the java backend
added sample test file
commit for Yilong
version resulting in GC overhead limit
added some parentheses to reduce ambiguities; still out of memory error
first cil program works in the java rewrite engine
commented out broken macros
factorial and reverse programs work
fixed matching on functions for pointer arithmetic
fixed matching on functions for pointer arithmetic (part 2)
changed kcil-runner to work with the java backend
minor fixes
changed declared sort of <phase> to K
changed semantics to work with scripts
fixed global environment