Code

Add initial PVM test vectors#3

Code

Open

koute wants to merge 21 commits intow3f:masterw3f/jamtestvectors:masterfrom koute:master_pvm_initialkoute/jamtestvectors:master_pvm_initialCopy head branch name to clipboard

+9,717

Commits

Commits on Jun 24, 2024

• Add initial PVM test vectors

  koute

  committed
  e285daa

Commits on Jun 25, 2024

• Pre-clobber the output reg in inst_div_unsigned_with_overflow

  Show description for 19d2ad8
  koute

  committed
  19d2ad8

• Replace underscores with hypens, because ASN.1 doesn't like underscores

  koute

  committed
  9ba4b5b

• Add JSON Schema and ASN.1 schema

  koute

  committed
  e89f6b7

• Add comments to the ASN.1 schema, reference the paper, update README

  koute

  committed
  96025c7

• Add the instruction/program counter to the tests

  koute

  committed
  1d43b7d

• Correct the expected PC for when the program halts

  koute

  committed
  9b35cf4

• Add tests involving memory

  koute

  committed
  f4c9f3f

• Remove accidental OPTIONAL from the ASN.1 schema

  koute

  committed
  dbbfbd4

Commits on Jun 26, 2024

• Add gas

  koute

  committed
  3e18a7f

• Rename code -> program

  koute

  committed
  e267a75

• Fix some typos in the ASN.1 schema

  koute

  committed
  5581280

Commits on Jun 28, 2024

• Align reg3 serialization with the GP and add extra testcases

  koute

  committed
  a2b1870

Commits on Oct 4, 2024

• PVM tests v0.2: add 'invalid' to disassemblies to mark implicit traps

  koute

  committed
  0a4c99b

• PVM tests v0.2: bitmask paddings are now filled with zeros

  koute

  committed
  8659541

• PVM tests v0.2: inst_rem_signed: make output non-zero

  koute

  committed
  fb4de8a

• PVM tests v0.2: inst_rem_signed_with_overflow: non-zero initial value of reg

  koute

  committed
  fa6cf0a

• PVM tests v0.2: inst_set_*: non-zero initial value of output reg

  koute

  committed
  83596b5

• PVM tests v0.2: add more load/store tests

  koute

  committed
  51e134e

• PVM tests v0.2: update README

  koute

  committed
  30ba85a

Commits on Oct 10, 2024

• PVM tests v0.3: remove tests which expose gas precharging

  koute

  committed
  a54d7cf