search

viperproject / sample

Other
0 stars 0 forks source link

sil.ProgramExtender is never used #76

Open viper-admin opened 8 years ago

viper-admin commented 8 years ago

Created by bitbucket user lbrutschy on 2016-09-12 13:26 Last updated on 2016-09-12 13:55

I am now refactoring ProgramExtender to match an updated interface, and it turns out it is never used. Can we remove it? What about the rest of the SIL package?

viper-admin commented 8 years ago

Bitbucket user caterinaurban commented on 2016-09-12 13:55

That part of the code was written by Severin and belongs to the predicate inference. It is in part of the code that you commented out some time ago for some reason that I forgot. I am not sure if that code still works but I would not remove it just yet.