Number of general-purpose registers.
9.2. Constants
def
Jar.JAVM.numRegisters : NatJar.JAVM.numRegisters : Nat
def
Jar.JAVM.pageSize : NatJar.JAVM.pageSize : Nat
Page size in bytes. Z_P = 2^12. GP §4.6.
def
Jar.JAVM.memorySize : NatJar.JAVM.memorySize : Nat
Total addressable memory: 2^32 bytes.
def
Jar.JAVM.numPages : NatJar.JAVM.numPages : Nat
Number of pages: 2^32 / Z_P.
def
Jar.JAVM.initZoneStart : NatJar.JAVM.initZoneStart : Nat
First accessible address: Z_Z = 2^16. GP §4.6.
def
Jar.JAVM.maxInitInput : NatJar.JAVM.maxInitInput : Nat
Maximum input size for standard initialization: Z_I = 2^24.