search

uwplse / pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
MIT License
49 stars 9 forks source link

Removing some names #93

Closed slyubomirsky closed 2 years ago

slyubomirsky commented 3 years ago

Largely the work of grep. Will add more to this PR as I go on

I am not tackling renaming DEVOID itself (outside of comments/the readme) because that would require modifications to Coq code

(For fun/checking, I grepped for the following using -r * from the project root: talia, ringer, uwplse, plse, washington, cse, PUMPKIN, DEVOID, ITP)

slyubomirsky commented 3 years ago

On line 34 of README.md, there are references to some dependencies hosted on uwplse. Those are probably deanonymizing and should probably be built into your code submission in some other way. Not sure what to do about them but I did want to note that explicitly here

slyubomirsky commented 3 years ago

Assumptions.v contains references to github issue numbers. Not sure if that's something you intend to change, as it's not deanonymizing, but I also wanted to point that out.