Skip to content

TRI-27 emulator: six defects recorded as findings in the S05 specs #1164

Description

@dmitrii-f-t27

The S05 specs of #988 (merged as gHashTag/t27#3581) state the TRI-27 machine and the .tbin container as the pinned emulator (src/tri27/emu at 976df51) runs them. Six of their findings are defects in the emulator itself. Until now they lived only inside the specs, so nobody could pick them up. Each sub-issue quotes the spec, links the code at the pin and names the conformance vector that reproduces it (gHashTag/t27 conformance/trinity/tri27_programs.json, replayed by tools/trinity_tri27.py).

Sub-issues:

Specs (gHashTag/t27 at 2e4093d): specs/isa/tri27_machine.t27 (FINDINGS, MODULUS_NOTE), specs/isa/tri27_bytecode.t27 (FINDINGS). Raised by the co-founders after the S05 review; nothing here changes the specs, which describe the emulator as it is.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions