search

uwplse / herbgrind

A Valgrind tool for Herbie
GNU General Public License v3.0
90 stars 7 forks source link

Add topic tags in About section #66

Closed Beliavsky closed 6 months ago

Beliavsky commented 6 months ago

I suggest adding the topics floating-point, valgrind, debugging, numerical-precision in the About section at https://github.com/uwplse/herbgrind

HazardousPeach commented 6 months ago

Unfortunately that would be a bit hard, since while I still have push and admin access to the repository, I am no longer a part of the uwplse github organization, so I'm unable to edit tags on the repo.

bilderbuchi commented 6 months ago

I am no longer a part of the uwplse github organization, so I'm unable to edit tags on the repo.

@ztatlock is, though, and has contributed to this repo in the past, so maybe he would do that?