A toy JVM written in OCaml.

See The Java® Virtual Machine Specification Java SE 8 Edition.

TODO LIST

• Parse class File
• Creation and Loading
• Linking
  • Verification
  • Preparation
  • Resolution
  • Access Control
  • Overriding
• Initialization
• Binding Native Method Implementations
• Java Virtual Machine Exit

Instruction Set:

• Constants
• Loads
• Stores
• Stack
• Math
• Conversions
• Comparisons
• References
  • invokedynamic
  • athrow
  • checkcast
  • instanceof
  • monitorenter
  • monitorexit
• Control
  • jsr
  • tableswitch
  • lookupswitch
• Extended
  • wide
  • ifnull
  • ifnonnull
  • goto_w
  • jsr_w
• Reserved

LICENSE

MIT License