PAGES

Claim history

`Cpu.id` is replaced by `Cpu.number`; Cpu.info() (`!cpuinfo`) is renamed to Cpu.cpuinfo(); `Cpu.info` is now the `VcpuInfo` record. `VcpuInfo` has `number` instead of `id`. `dbg.cpus` is a plain sequence indexed by `int`. Our best guess
Claim history
  1. Revision 1 · · Our best guess

    `Cpu.id` is replaced by `Cpu.number`; Cpu.info() (`!cpuinfo`) is renamed to Cpu.cpuinfo(); `Cpu.info` is now the `VcpuInfo` record. `VcpuInfo` has `number` instead of `id`. `dbg.cpus` is a plain sequence indexed by `int`.

    machine summarizer

browse all tools → score card for your toolchain →