Code

Add initial PVM test vectors#3

Code

Open

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

+144,846

Commits

Commits on Jun 24, 2024

• Add initial PVM test vectors

  koute

  committed
  e285daa

  Copy full SHA for e285daa

Commits on Jun 25, 2024

• Pre-clobber the output reg in inst_div_unsigned_with_overflow

  Show description for 19d2ad8
  koute

  committed
  19d2ad8

  Copy full SHA for 19d2ad8

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

  koute

  committed
  9ba4b5b

  Copy full SHA for 9ba4b5b

• Add JSON Schema and ASN.1 schema

  koute

  committed
  e89f6b7

  Copy full SHA for e89f6b7

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

  koute

  committed
  96025c7

  Copy full SHA for 96025c7

• Add the instruction/program counter to the tests

  koute

  committed
  1d43b7d

  Copy full SHA for 1d43b7d

• Correct the expected PC for when the program halts

  koute

  committed
  9b35cf4

  Copy full SHA for 9b35cf4

• Add tests involving memory

  koute

  committed
  f4c9f3f

  Copy full SHA for f4c9f3f

• Remove accidental OPTIONAL from the ASN.1 schema

  koute

  committed
  dbbfbd4

  Copy full SHA for dbbfbd4

Commits on Jun 26, 2024

• Add gas

  koute

  committed
  3e18a7f

  Copy full SHA for 3e18a7f

• Rename code -> program

  koute

  committed
  e267a75

  Copy full SHA for e267a75

• Fix some typos in the ASN.1 schema

  koute

  committed
  5581280

  Copy full SHA for 5581280

Commits on Jun 28, 2024

• Align reg3 serialization with the GP and add extra testcases

  koute

  committed
  a2b1870

  Copy full SHA for a2b1870

Commits on Oct 4, 2024

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

  koute

  committed
  0a4c99b

  Copy full SHA for 0a4c99b

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

  koute

  committed
  8659541

  Copy full SHA for 8659541

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

  koute

  committed
  fb4de8a

  Copy full SHA for fb4de8a

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

  koute

  committed
  fa6cf0a

  Copy full SHA for fa6cf0a

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

  koute

  committed
  83596b5

  Copy full SHA for 83596b5

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

  koute

  committed
  51e134e

  Copy full SHA for 51e134e

• PVM tests v0.2: update README

  koute

  committed
  30ba85a

  Copy full SHA for 30ba85a

Commits on Oct 10, 2024

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

  koute

  committed
  a54d7cf

  Copy full SHA for a54d7cf

Commits on Jan 24, 2025

• PVM tests v0.4

  koute

  committed
  bf3c81a

  Copy full SHA for bf3c81a

Commits on Jan 27, 2025

• PVM tests v0.4: remove read-only panicking tests

  koute

  committed
  cd85648

  Copy full SHA for cd85648