search

boogie-org / boogie

Boogie
http://research.microsoft.com/en-us/projects/boogie/
MIT License
506 stars 111 forks source link

Extract classes out of DeadVarElim #935

Closed keyboardDrummer closed 1 month ago

keyboardDrummer commented 1 month ago

Extract classes out of DeadVarElim

shazqadeer commented 1 month ago

I am a bit confused by the changes I see. I see only new code files being added. I was expecting to see edits to DeadVarElim.cs (or at least a total deletion) but I don't see any change like that.

keyboardDrummer commented 1 month ago

I am a bit confused by the changes I see. I see only new code files being added. I was expecting to see edits to DeadVarElim.cs (or at least a total deletion) but I don't see any change like that.

The diff is confusing. One file was "renamed" from DeadVarElim.cs to something else, but really "DeadVarElim.cs" has been deleted.

shazqadeer commented 1 month ago

Thanks for the clarification.