Topics: Documentation for tools

Last week was spent only on writing documentation. No new code was introduced to the codebase of the VM. The work will most likely resume after most currently available features are documented.

Documentation for tools

Basic documentation is now available for assembler, kernel, and assembler.


Features of the assembler (type checking, static control-flow and register access analysis, type inference) are now shortly described. Also, it is noted that the assembler also performs the role of the linker.


Kernel environment variables are described. These variables may be used to tune some aspects of the kernel, or enable execution traces which are useful for debugging your programs (or the VM).


A brief description is provided, along with the list of its deficiencies. Disassembler is probably the least-frequently used tool of the three, so these deficiencies are not high on the list of priorities (for now, at least).