Kona notes: reimplementations, stacks, registers

[Kevin Lawler]

I've added a useful but raw set of notes to the wiki.

https://github.com/kevinlawler/kona/wiki/Notes-2013.06.29

There are four parts:

1. Primitive operations: overview of how the current system works for
handling plus or minus
2. Register machine: description of how to see whether using a
register machine model instead makes sense, particularly if new types
are added
3. main-register.c: A sketch of how you might start writing a
register-based primitive handler, by no means finalized.
4. Recommended changes to how Kona implements K: what Kona gets wrong
and how to fix it

Cheers,
Kevin

[Bakul Shah]

Thanks for the notes!

I have made a start on adding more types (very experimental
code using kona as a starting point) but I think a lot of the
code needs to be generated automatically to deal with more
types in a systematic manner.