search

viperproject / viperserver

HTTP server that manages verification requests to different tools from the Viper tool stack.
Other
10 stars 17 forks source link

Adds and Updates Copyright Headers #17

Closed ArquintL closed 4 years ago

ArquintL commented 4 years ago

MPLv2 license for all files except project/ (CC0), docs/licenses (CC0 but no header), src/test/resources (CC0), src/main/scala/viper/server/utility/apache (Apache license v2), src/main/scala/viper/server/utility/ibm (Eclipse public license v2)

aterga commented 4 years ago

Thanks a lot for this PR, @ArquintL.

@WissenIstNacht All textual files hosted under https://github.com/viperproject must have copyright headers. For all files that were created at ETH, we use MPLv2. For scripts and Viper files with benchmarks and examples and for documentation we use Public Domain (CC0). Finally, we respect the existing licenses of externally created software that is embedded in our repositories. See the per-directory summary of these licenses in Linard's comment above.

Please make sure that, by the end of your project, all new files that you contribute have proper copyright headers. In most cases, you can use IntelliJ to automatically set these copyrights. I suggest synchronizing your branches with this PR when it is most convenient for you.

WissenIstNacht commented 4 years ago

Thanks for the pointing that out. I'll gladly fix it with the next push.

I was wondering about that but never got around to asking about it. What's up with the dates in the copyright headers? Their all covering the years 2011 - 2019. Should I update them to say 2011-2020?

Edit: Didn't see that there was a commit already. This answers the question.