I am forwarding the email below (after converting HTML to plain text) to the mailto:bpf@xxxxxxxxxxxxxxx list so replies can go to both lists. Please use this one for any replies. Thanks, Dave > From: Bpf <bpf-bounces@xxxxxxxx> On Behalf Of Watson Ladd > Sent: Monday, July 24, 2023 10:05 PM > To: bpf@xxxxxxxx > Subject: [Bpf] Review of draft-thaler-bpf-isa-01 > > Dear BPF wg, > > I took a look at the draft and think it has some issues, unsurprisingly at this stage. One is > the specification seems to use an underspecified C pseudo code for operations vs > defining them mathematically. > > The good news is I think this is very fixable although tedious. > > The other thornier issues are memory model etc. But the overall structure seems good > and the document overall makes sense. > > Sincerely, > Watson Ladd
