KORE milestone 1

**please review**

 - unit-tested convertors from KORE to KIL and back
 - significant changes and simplifications to KORE data structures. They are smaller and more powerful now

Yeah, that's fine. I imagine he wants to mock it and can't because it's
final.

On Mon, Dec 1, 2014 at 1:24 PM, Radu Mereuta <notifications@github.com>
wrote:

> In kernel/src/main/java/org/kframework/kompile/KompileOptions.java:
>
> > @@ -17,7 +17,7 @@
> >  import com.beust.jcommander.ParametersDelegate;
> >  import com.google.inject.Inject;
> >
> > -public final class KompileOptions implements Serializable {
> > +public class KompileOptions implements Serializable {
>
> @dwightguth <https://github.com/dwightguth> is this correct?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/1211/files#r21112560>.
>