search

kframework / java-semantics

The semantics of Java in K
19 stars 9 forks source link

remove Denis' syntax from java syntax, and put these semantic syntax in ... #28

Closed laurayuwen closed 9 years ago

laurayuwen commented 9 years ago

...core-sorts.k

laurayuwen commented 9 years ago

I first made the syntax kompilable in k3.5, main problem was with imports, now java syntax is kompilable in k 3.5 and whole k java still works in k 3.4

andreistefanescu commented 9 years ago

lgtm