On Wed, Sep 02, 2020 at 10:19:58PM +0200, Jose E. Marchesi wrote: > > As such, the property of being verifiable is irrelevant. No. It's a fundamental property of BPF. If it's not verifiable it's not BPF. It's not xBPF either. Please call it something else and don't confuse people that your ISA has any overlap with BPF. It doesn't. It's not verifiable.
