• Kunshan Wang's avatar
    Loosen requirement of "id_of" and "name_of". · 58d95aec
    Kunshan Wang authored
    So that the micro VM implementation does not have to record the IDs and
    names for many local things, such as instruction results and clauses.
    These things are numerous, but the API cannot do anything on them. Not
    forcing the micro VM to record their IDs/names can save much space.
    58d95aec
Name
Last commit
Last update
scripts Loading commit data...
.gitignore Loading commit data...
README.rst Loading commit data...
_Sidebar.md Loading commit data...
api.rst Loading commit data...
bootimage.rst Loading commit data...
common-insts.rst Loading commit data...
faq.rst Loading commit data...
hail.rst Loading commit data...
instruction-set.rst Loading commit data...
ir-binary.rst Loading commit data...
ir.rst Loading commit data...
irbuilder.rst Loading commit data...
memory-model.rst Loading commit data...
memory.rst Loading commit data...
muapi.h Loading commit data...
native-interface-x64-unix.rst Loading commit data...
native-interface.rst Loading commit data...
overview.rst Loading commit data...
portability.rst Loading commit data...
threads-stacks.rst Loading commit data...
type-system.rst Loading commit data...