Elazar Gershuni
Elazar Gershuni
Why isn't it a TupleType? I think that the concept of TupleType should have little to do with `tuple`s specifically, they are just a class that we know should behave...
I'm probably missing something, but aren't the instructions atomic because they change memory regions that are already volatile?
It is not supported yet, but I believe should be straight forward to implement - atomic arithmetic is largely not different from non-atomic, as far as the verifier is concerned.
Does this need a rebase now?
Does EBPF runtime guarantee little-endianness?
So endiannes needs to be a parameter, no?
@dthaler this needs to be reopened
I believe this is due to `.rel.debug_info`, `.rel.BTF` etc., that PREVAIL does not understand.
Can you upload the object file again? By the time I got to look at it, it was no longer available.
Okay, I was wrong. Turning the excetion into a simple error message gives another error: > error: Unresolved external symbol parse_ethernet_packet at location 12