To develop a working 'empty VM' by way of porting essential functions of the Rosette code base. Set up a Continuous integration and Unit testing system for the VM Codebase. See tickets for details regarding this.
This Milestone will be done when:
A developer can take the jar file, provide binary programs for the VM to parse and execute using just the opcodes below, and then check the log output to verify expected behavior.
In more detail:
The VM will build and run on Unix.
Read from a stdin a list of bytes (binary input)
Pretty print the AST that it parses from the bytes.
Use log messages in the code to demonstrate that the opcodes work.
We will start by developing an executable that supports the following Op codes: