Unvendor yices2 about bsc HOT 5 OPEN

NB also that yices2 is GPLv3.

from bsc.

Just noticed that license myself -- any sense for how long Bluespec has been in violation of the GPL? I assume this component wasn't added in the open source release.

from bsc.

As part of making this BSC repo, to put on GitHub, I extracted code from various places and created Makefiles and cleaned things up, etc. I also decided to update the use of Yices, which predated Yices being open source (and GPLv3); so this was in fact just added, for this release. (I had also wanted to update STP, but didn't get around to it.) And, yes, it does mean that any distribution of BSC from this repo needs to respect the GPLv3 license or excise the use of Yices.

from bsc.

Thanks for the clarification!

from bsc.

Note that it's unclear if a newer version of Yices is needed or not for Bluespec -- without the test suite or real users of the FOSS version reporting in just yet, it's hard to know what behavioral differences there may be between now and the previous stable release. They may or may not need to do a release for us to reliably unvendor things.

That said I'm hopeful if we needed it, and someone asked them nicely, they would cut a new release. :)

from bsc.