ikos
ikos copied to clipboard
NASA-SW-VnV
Please consider another license
First, sorry to be a pain with license
The NASA OS license isn't considered as a free license by at least the FSF and Debian. This prevents the inclusion of ikos into Debian & Ubuntu repositories.
Sources: https://www.gnu.org/licenses/license-list.html#NASA https://en.wikipedia.org/wiki/NASA_Open_Source_Agreement
A few weeks ago, I asked the lawyers if we could chance the license.
They said we could switch to an Apache-based license, but they asked for proofs that the license switch was requested by industrials.
So, if you use IKOS at work, feel free to email us at [email protected]
I was evaluating it for Mozilla (for Firefox in particular) but also to package it in Debian/Ubuntu. However I won't start any work on this as the NOSA license isn't considered as free.
Also, switching to the Apache license would allow for bringing IKOS under the LLVM umbrella some time in the future if that would be desired, right? :-)
Again, if you are working for a US company and have issues with the current license, please email us. This would help convince the lawyers to make a license change.
I have an update. This is now being considered. I'll get back to you soon on this.
As Maxime stated, if you are working for a US company or organization and have issues with the current license, please email us ASAP. This would help convince the lawyers to make a license change.
Tagging @sylvestre and @practicalswift.
Sorry for pinging you twice about this Sylvestre . We're trying everything we can to convince them; a message from Mozilla would really help here.