dslab-epfl / klint

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).
MIT License
8 stars 5 forks source link

rm paper #9

Closed tharvik closed 1 year ago

tharvik commented 1 year ago

remove some paper related code and add explaination to the root readme (choosing paper as the tag). @SolalPirelli you should tag it yourself as AFAIK I can't push tag to other repos.

SolalPirelli commented 1 year ago

Thanks! I tagged.