[0/1] Formalize type notation and function semantics in ISA standard

Message

Will Hawkins July 30, 2023, 3:51 a.m. UTC

Based on a conversation with Alexei, here is an attempt at condensing
all the definitions of helper functions and type shorthands in a single
place.

I hope that this is helpful!
Will


Will Hawkins (1):
  bpf, docs: Formalize type notation and function semantics in ISA
    standard

 .../bpf/standardization/instruction-set.rst   | 65 ++++++++++++++++++-
 Documentation/sphinx/requirements.txt         |  2 +-
 2 files changed, 63 insertions(+), 4 deletions(-)