p4lang / pna

Portable NIC Architecture
Apache License 2.0
54 stars 21 forks source link

Add text explaining how to delete entries from the dataplane, and describe `ExpireTimeProfileId_t`. #97

Open thomascalvert-xlnx opened 1 year ago

thomascalvert-xlnx commented 1 year ago

In PR#92, I said:

Suggest that the text talks about how entries can be explicitly deleted (not via timeout but on seeing e.g. a RST packet), and briefly describe the semantics of ExpireTimeProfileId_t.