Add title + etymology to readme

dslab-epfl / klint

Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).

MIT License

8 stars 5 forks source link

Closed SolalPirelli closed 1 year ago

SolalPirelli commented 1 year ago

FYI @tharvik , so the c4dt can stop saying it wrong :p

tharvik commented 1 year ago

haa, thanks for the info (I personally pushed for the K-lint, as in "linter for the kernel", which turn out wrong) :)