pascal-lab / Tai-e

An easy-to-learn/use static analysis framework for Java

Home Page:https://tai-e.pascal-lab.net/docs/index.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

License?

runner02 opened this issue · comments

Description

What is Tai-e's license?

I assume all Tai-e code is under the LGPL 3.0 license but wanted to make sure.
I imagine the addition of GPL 3.0 in the directory is only a reference like in other projects (e.g. here).

To avoid confusion it may be worthwhile adding a license notice in addition to copying the licenses.

LGPL 3.0

I imagine the addition of GPL 3.0 in the directory is only a reference like in other projects (e.g. stulp/dmpbbo#18).

Yes.